On quasi-open bisimulation

Theoretical Computer Science

Volumn 338, Issue 1-3, 2005, Pages 96-126

  Fu, Yuxi ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERIZATION; NETWORK PROTOCOLS; PROBLEM SOLVING; SECURITY OF DATA; SET THEORY; TOPOLOGY;

BISIMULATION; COMMUNICATION TOPOLOGY; CONTROL FLOWS; QUASI-OPEN BISIMILARITY;

MATHEMATICAL PROGRAMMING;

EID: 18544385936     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.041     Document Type: Article

References (14)

1. Y. Fu, and Z. Yang Tau Laws for Pi Calculus Theoret. Comput. Sci. 308 2003 55 130
2. M. Hennessy, H. Lin, Proof systems for message passing process algebra, CONCUR '93, Lecture Notes in Computer Science, Vol. 715, Springer, Berlin, 1993, pp. 202-216.
3. M. Hennessy, and H. Lin Symbolic bisimulations Theoret. Comput. Sci. 138 1995 137 161
4. H. Lin, Unique Fixpoint Induction for Mobile Processes, CONCUR '95, Lecture Notes in Computer Science, Vol. 962, Springer, Berlin, 1995, pp. 88-102.
5. H. Lin, Complete proof systems for observation congruences in finite-control π -calculus, ICALP '98, Lecture Notes in Computer Science, Vol. 1443, Springer, Berlin, 1998, pp. 443-454.
6. R. Milner A complete inference system for a class of regular behaviours J. Comput. System Sci. 28 1984 439 466
7. R. Milner A complete axiomatization system for observational congruence of finite state behaviours Inform. Comput. 81 1989 227 247
8. R. Milner Communication and Concurrency 1989 Prentice-Hall Englewood Cliffs, NJ
9. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes Inform. Comput. 100 1992 1 40 (Part I), 41-77 (Part II)
10. R. Milner, D. Sangiorgi, Barbed Bisimulation, ICALP '92, Lecture Notes in Computer Science, Vol. 623, Springer, Berlin, 1992, pp. 685-695.
11. J. Parrow, and D. Sangiorgi Algebraic theories for name-passing calculi Inform. Comput. 120 1995 174 197
12. D. Sangiorgi A theory of bisimulation for π -calculus Acta Inform. 3 1996 69 97
13. D. Sangiorgi, D. Walker, On barbed equivalence in π -calculus, CONCUR '01, 2001.
14. D. Sangiorgi, and D. Walker The Pi calculus - a theory of mobile processes 2001 Cambridge University Press Cambridge