Author:
Mislove Michael,Pavlovic Dusko,Worrell James
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Observation equivalence as a testing equivalence;Abramsky;Theoretical Computer Science,1987
2. A Domain Equation for Bisimulation;Abramsky;Information and Computation,1991
3. Retracing some paths in process algebra;Abramsky,1996
4. Equational Axioms for Probabilistic Bisimilarity;Aceto,2002
5. The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions;Arbib;Journal of the Association for Computing Machinery,1982
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reasoning about Probabilistic Security Using Task-PIOAs;Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security;2010