Remarks on Testing Probabilistic Processes

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. Remarks on Testing Probabilistic Processes. Electronic Notes in Theoretical Computer Science, 172:359-397, 2007. [doi]

Abstract

Abstract is missing.