On bisimulations for the asynchronous π-calculus

Theoretical Computer Science

Volumn 195, Issue 2, 1998, Pages 291-324

  Amadio, Roberto M ^a   Castellani, Ilaria ^b   Sangiorgi, Davide ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b INRIA   (France)

Author keywords

Asynchronous communication; Bisimulation; calculus

Indexed keywords

EID: 0001254695     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00223-5     Document Type: Article

References (19)

1. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT-Press, Cambridge, MA, 1986.
2. G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comput. Sci. 96 (1992) 217-248.
3. M. Boreale, D. Sangiorgi, Some congruence properties for π-calculus bisimilarities, Research Report 2870, INRIA, Sophia-Antipolis, 1996.
4. G. Boudol, Asynchrony and the π-calculus, Research Report 1702, INRIA, Sophia-Antipolis, 1992.
5. M. Dam, Model checking mobile processes, in: Proc. CONCUR'93, Lecture Notes in Computer Science, vol. 715, 1993, pp. 22-36. Full version in SICS report RR94:1, 1994.
6. C. Fournet, G. Gonthier, The reflexive CHAM and the join-calculus, Proc. POPL, 1996.
7. M. Hansen, J. Kleist, H. Hüttel, Bisimulations for asynchronous mobile processes, in: Proc. Tbilisi Symp. on Language, Logic, and Computation, 1995. Research Paper HCRC/RP-72, Human Communication Research Centre, University of Edinburgh.
8. K. Honda, M. Tokoro, An object calculus for asynchronous communication, Proc. ECOOP 91, Geneve, 1991.
9. K. Honda, M. Tokoro, On asynchronous communication semantics, in: Object-based Concurrent Computing, Lecture Notes in Computer Science, vol. 612, Springer, Berlin, 1992.
10. K. Honda, N. Yoshida, On reduction based process semantics, Theoret. Comput. Sci. 151 (1995) 437-486.
11. R. Milner, Communication and concurrency, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980.
12. R. Milner, Functions as processes, Math. Struct. Comput. Sci. 2(2) (1992) 119-141.
13. R. Milner, J. Parrow, D. Walker, A Calculus of Mobile Process, Parts 1-2, Inform, and Comput. 100 (1) (1992) 1-77.
14. R. Milner, D. Sangiorgi, Barbed bisimulation, in: Proc. ICALP 92, Lecture Notes in Computer Science, vol. 623, Springer, Berlin, 1992.
15. U. Nestmann, B. Pierce, Decoding choice encodings, in: CONCUR 96, Lecture Notes in Computer Science, vol. 1119, Springer, Pisa, 1996.
16. B. Pierce, D. Turner, Pict: a programming language based on the π-calculus, Tech. Report, Indiana University, 1997, to appear.
17. D. Sangiorgi, A theory of bisimulation for the π-calculus, in: Best (Ed.) Proc. CONCUR93, 1993, Lecture Notes in Computer Science, vol. 715, Springer, Berlin.
18. D. Sangiorgi, Lazy functions and mobile processes, Research Report RR-2515, INRIA, Sophia-Antipolis, 1995. Invited for Festschrift Volume in Honor of Robin Milner's 60th birthday, Cambridge Press, to appear.
19. G. Tel, Introduction to Distributed Algorithms, Cambridge University Press, Cambridge, 1995.