A uniform reduction equivalence for process calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 179-195

  Cao, Zining ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

PATHOLOGY; SEMANTICS;

BISIMULATIONS; CONTEXT BISIMULATION; HIGHER-ORDER; MOBILE AMBIENTS; PI CALCULUS; PROCESS CALCULI; REDUCTION EQUIVALENCE; UNIFORM REDUCTION;

CALCULATIONS;

EID: 33745801451     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_12     Document Type: Article

References (11)

1. G. Boudol, I. Castellani, M. Hennessy and A. Kiehn. Observing localities, Theoretical Computer Science, 114: 31-61 1993.
2. L. Cardelli and A. D. Gordon. Mobile Ambients. Theoretical Computer Science, 240(1):177-213, 2000.
3. K. Honda and N. Yoshida. On reduction-based process semantics. Theoretical Computer Science, 152(2): 437-486 1995.
4. P. Levi and D. Sangiorgi. Controlling interference in Ambients. In Proc. POPL'00, pages 352-364, Boston, Massachusetts, Jan. 19-21, 2000.
5. M. Merro and M. Hennessy. Bisimulation congruences in Safe Ambients. Computer Science Report 5/01. An extended abstract appear in Proc. POPL'02.
6. M. Merro and F. Zappa Nardelli. Bisimulation proof methods for Mobile Ambients. Technical Report COGS 01:2003.
7. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1-77, 1992.
8. D. Sangiorgi. Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D thesis, Department of Computer Science, University of Einburgh, 1992.
9. D. Sangiorgi. Bisimulation in higher-order calculi, Information and Computation, 131(2), 1996.
10. D. Sangiorgi, D. Walker. The π-calculus: a theory of mobile processes, Cambridge University Press, 2001.
11. M. G. Vigliotti and I. Phillips. Barbs and congruences for Safe Mobile Ambients. In: Foundations of Wide Area Network Computing, July 2002.