Some congruence properties for π-calculus bisimilarities

Theoretical Computer Science

Volumn 198, Issue 1-2, 1998, Pages 159-176

  Boreale, Michele ^a   Sangiorgi, Davide ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b INRIA   (France)

Author keywords

Bisimulation; Causality; Congruence; Calculus

Indexed keywords

EID: 0001645384     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00125-4     Document Type: Article

References (17)

1. M. Boreale, D. Sangiorgi, A fully abstract semantics for causality in the π-calculus. Technical Report ECS-LFCS-94-297, LFCS, Dept. of Comp. Sci., Edinburgh Univ., 1994, to appear in Acta Inform. An extract appeared in Proc. STACS'95, Lecture Notes in Computer Science, vol. 900, Springer, Berlin.
2. N.G. de Bruijn, Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem, Indag. Math. 34 (5) (1972) 381-392.
3. P. Degano, P. Darondeau, Causal trees, in: 15th ICALP, Lecture Notes in Computer Science, vol. 372, Springer, Berlin, 1989, pp. 234-248.
4. M. Hansen, H. Hüttel, J. Kleist, Bisimulations for asynchronous mobile processes, in: Proc. Tbilisi Symp. on Language, Logic, and Computation, 1996, also available as BRICS Report No. EP-95-HHK, Aalborg University, Denmark, 1996.
5. K. Honda, Two bisimilarities for the v-calctilus, Tech. Report 92-002, Keio University, 1992.
6. K. Honda, M. Tokoro, On asynchronous communication semantics, in: M. Tokoro, O. Nierstrasz, P. Wegner, A. Yonezawa (Eds.), ECOOP'91 Workshop on Object Based Concurrent Programming, Geneva, Switzerland, 1991, Lecture Notes in Computer Science, vol. 612, Springer, Berlin, 1992, pp. 21-51.
7. A. Kiehn, Comparing locality and causality based equivalences, Acta Inform. 31 (1994) 697-718. Revision of Local and Global Causes. Report TUM-19132, 1991.
8. R. Milner, The polyadic π-calculus: a tutorial. Tech. Report ECS-LFCS-91-180, LFCS, Dept. of Comp. Sci., Edinburgh Univ., October 1991. Also in: F.L. Bauer, W. Brauer, H. Schwichtenberg (Eds.), Logic and Algebra of Specification, Springer, Berlin, 1993.
9. R. Milner, J. Parrow, D. Walker, A calculus of mobile processes, (Parts I and II), Inform. Comput. 100 (1992) 1-77.
10. B.C. Pierce, D. Rémy, D.N. Turner, A typed higher-order programming language based on the picalculus, in: Workshop on Type Theory and its Application to Computer Systems. Kyoto University, 1993.
11. C. Priami, Enhanced operational semantics for concurrency, Ph.D. Thesis, Department of Computer Science, Università di Pisa, 1995.
12. D. Sangiorgi, On the bisimulation proof method, Technical Report ECS-LFCS-94-299, LFCS, Dept. of Comp. Sci., Edinburgh Univ., 1994.
13. D. Sangiorgi, Lazy functions and mobile processes. Technical Report RR-2515, INRIA-Sophia Antipolis, 1995, Festschrift volume in honor of Robin Milner's 60th birthday, to appear, Cambridge Press, Cambridge.
14. D. Sangiorgi, A theory of bisimulation for the π-calculus, Acta Informatica, 33 (1996) 69-97. Extended Abstract in Proc. CONCUR'93, Lecture Notes in Computer Science, vol. 715, Springer, Berlin.
15. D. Sangiorgi, A theory of bisimulation for the π-calculus, Acta Informatica, 33 (1996) 69-97. Extended Abstract in Proc. CONCUR'93, Lecture Notes in Computer Science, vol. 715, Springer, Berlin.
16. D. Sangiorgi, πI: A symmetric calculus based on internal mobility, in: P. Mosses, et al. (Ed.), Proc. TAPSOFT'95, Lecture Notes in Computer Science, vol. 915, pp. 172-186, Springer, Berlin, 1995. Full version in Theoret. Comput. Sci. 167 (2) (1996) 235-274.
17. D. Sangiorgi, πI: A symmetric calculus based on internal mobility, in: P. Mosses, et al. (Ed.), Proc. TAPSOFT'95, Lecture Notes in Computer Science, vol. 915, pp. 172-186, Springer, Berlin, 1995. Full version in Theoret. Comput. Sci. 167 (2) (1996) 235-274.