Related references
Note: Only part of the references are listed.Probabilistic logical characterization
Holger Hermanns et al.
INFORMATION AND COMPUTATION (2011)
Remarks on Testing Probabilistic Processes
Yuxin Deng et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2007)
A hierarchy of equivalences for asynchronous calculi
C Fournet et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2005)
Deciding bisimilarity and similarity for probabilistic processes
C Baier et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2000)