A partition refinement algorithm for the π-calculus

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

Volumn 1102, Issue , 1996, Pages 38-49

  Pistore, Marco ^a   Sangiorgi, Davide ^b  

^a UNIVERSITY OF PISA   (Italy)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957635777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_56     Document Type: Conference Paper

References (12)

1. A. Bouali, S. Gnesi and S. Larosa. The Integration Project for the JACK Environment. Bullettin of the EATCS 54, 1994.
2. G. Boudol, V. Roy, R. de Simone and D. Vergamini. Process algebra and Systems of Communicating Processes. In Proc. Automatic Verification Methods for Finite State Systems, LNCS 407, 1989.
3. M. Dam. On the decidability of process equivalences for the π-calculus. SICS Research Report RR:94-20, 1994.
4. J.-C. Fernandez and L. Mounier. "On-the-fly" verification of behavioural equivalences and preorders. In Proc. CAV'91, LNCS 575. Springer Verlag, 1994.
5. B. Jonsson and J. Parrow. Deciding bisimulation equivalences for a class of nonfinite- state programs. Information and Computation, 107:272-302, 1993.
6. P. C. Kanellakis and S. A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43-68, 1990.
7. R. Milner, J. Parrow and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100:1-77, 1992.
8. U. Montanari and M. Pistore. Checking bisimilarity for finitary π-calculus. In Proc. CONCUR'95, LNCS 962. Springer Verlag, 1995.
9. F. Orava and J. Parrow. An algebraic verification of a mobile network. Formal Aspects of Computing, 4:497-543, 1992.
10. R. Paige and R. E. Tarjan. Three partition refinement algorithms. SIAM Journal on Computing, 16(6):973-989, 1987.
11. D. Sangiorgi. A theory of bisimulation for π-calculus. In Proc. CONCUR '93, LNCS 715. Springer Verlag, 1993.
12. B. Victor and F. Moiler. The Mobility Workbench - A tool for the r-calculus. In Proc. CAV'94, LNCS 818. Springer Verlag, 1994