相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。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)