Bisimulation in name-passing calculi without matching

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 165-175

  Boreale, Michele ^a   Sangiorgi, Davide ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER CIRCUITS;

BISIMULATIONS; NAME PASSING CALCULI; PI CALCULUS; PROOF METHODS;

CALCULATIONS;

EID: 85022807037     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705653     Document Type: Conference Paper

References (25)

1. R. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. Coordina-Tion'97, volume 1282 of Lecture Notes in Computer Science. Springer Verlag, 1997.
2. M. Boreale, C. Fournet, and C. Laneve. Bisimulations for the Join Calculus. To appear in Proc. PROCOME T '98.
3. C. Fournet and G. Gonthier The Reflexive Chemical Abstract Machine and the Join calculus. In Proc. 23th POPL. ACM Press, 1996.
4. M. Hennessy and J. Riely. A typed language for distributed mobile processes. In Proc. 25th POPL. ACM Press, 1997.
5. K. Honda and M. Tokoro. On asynchronous communication semantics. ECOOP '91 1991, vol-ume 612 of Lecture Notes in Computer Science, Springer Verlag, 1992.
6. K. Honda and N. Yoshida. On reduction-based process semantics. Theoretical Computer Science, 152(2) :437-486, 1995.
7. N. Kobayashi, B.C. Pierce, and D.N. Turner. Linearity and the pi-calculus. In Proc. 23th POPL. ACM Press, 1996.
8. J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. To appear in Proc. PRO- COMET'98.
9. K. Larsen and L. Xinxin. Compositionality through an Operational Semantics of Contexts. Journal of Logic and Computation 1(6):761-793, 1991.
10. M. Merro and D. Sangiorgi. The asynchronous π-calculus, revisited. To appear in Proc. of ICALP'98.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. U. Montanari and M. Pistore. Checking Bisimilarity for Finitary π-calculus. In Proc. of CON-CUR '95, 1995.
13. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, (Parts I and II). Information and Computation, 100:1-77, 1992.
14. I. Mason and C. Talcott. A Semantically Sound Actor Translation. In Proc. of ICALP'97, 1997.
15. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Journal of Mathemat-ical Structures in Computer Science, 6(5):409- 454, 1996. An extended abstract in Proc. LICS 93, IEEE Computer Society Press.
16. B. Pierce and D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In 24th POPL. ACM Press, 1997.
17. B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press.
18. J. C. Reynolds. Preliminary design of the programming language Forsythe. Tech. rept. CMU- CS-88-159. Carnegie Mellon University., 1988.
19. D. Sangiorgi. On the proof method for bisimulation. Proc. MFCS'95, volume 969 of Lecture Notes in Computer Science, pages 479-488. Springer Verlag, 1995.
20. D. Sangiorgi. An interpretation of typed objects into typed π-calculus. Technical Report RR-3000, INRIA-Sophia Antipolis, 1996. To appear in Information and Computation.
21. D. Sangiorgi. The name discipline of receptiveness. In 24th ICALP, volume 1256 of Lecture Notes in Computer Science. Springer Verlag, 1997.
22. B. Victor and F. Moller. The Mobility Workbench -A tool for the π-calculus. Proc. CAV'94, volume 818 of Lecture Notes in Computer Science, Springer-Verlag, 1994.
23. B. Victor and J. Parrow. Constraints as processes. In Proc. CONCUR '96, volume 1119 of Lecture Notes in Computer Science. Springer Verlag, 1996.
24. D. Walker. Objects in the π-calculus. Information and Computation, 116(2):253-271, 1995.
25. N. Yoshida. Graph types for monadic mobile processes. In Proc. FST & TCS, volume 1180 of Lecture Notes in Computer Science, pages 371-386. Springer Verlag, 1996.