Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan. Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science, 4(4), 2008. [doi]

Abstract

Abstract is missing.