Verifying mobile processes in the HAL environment

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

Volumn 1427 LNCS, Issue , 1998, Pages 511-515

  Ferrari, G ^a   Gnesi, S ^b   Montanari, U ^a   Pistore, M ^a   Ristori, G ^a,b  

^a UNIVERSITY OF PISA   (Italy)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 10444287323     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028772     Document Type: Conference Paper

References (13)

1. A. Bouali, S. Gnesi and S. Larosa. The integration project for the JACK environment. Bullettin of the EATCS, 54, 1994. Detailed information about JACK are also available at http://repl.iei.pi.cnr.it/Projects/JACK.
2. A. Bouali, A. Ressouche, V. Roy and R. de Simone. The FC2Tools set. In Proc. CAV'96, LNCS 1102. Springer Verlag, 1996.
3. M. Dam. Model checking mobile processes. In Proc. CONCUR'93, LNCS 715. Springer Verlag, 1993.
4. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore and G. Ristori. An automata-based verification environment for mobile processes. In Proc. TACAS'97, LNCS 1217. Springer Verlag, 1997.
5. S. Gnesi and G. Ristori. A model checking algorithm for 7r-calculus agents. In Proc. ICTL'97. Kluwer Academic Publishers, 1997.
6. R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Part I and II. Information and Computation, 100(1):1-77, 1992.
7. U. Montanari and M. Pistore. Checking bisimilarity for finitary 7r-calculus. In Proc. CONCUR'95, LNCS 962. Springer Verlag, 1995.
8. U. Montanari and M. Pistore. History dependent verification for partial order systems. In Partial Order Methods in Verification, DIMACS Series, Vol. 29. American Mathematical Society, 1997.
9. U. Montanari and M. Pistore. Minimal transition systems for history-preserving bisimulation. In Proc. STAGS'97, LNCS 1200. Springer Verlag, 1997.
10. U. Montanari, M. Pistore and D. Yankelevich. Efficient minimization up to location equivalence. In Proc. ESOP'96, LNCS 1058. Springer Verlag, 1996.
11. U. Montanari and M. Pistore. History-Dependent Automata. To appear as Technical Report, Department of Computer Science, University of Pisa, 1998.
12. F. Orava and J. Parrow. An Algebraic Verification of a Mobile Network. Formal Aspects of Computing, 4:497-543, 1992.
13. B. Victor and F. Moller. The Mobility Workbench - A tool for the 7r-calculus. In Proc. CAV'94, LNCS 818. Springer Verlag, 1994.