Work partially founded by CNR Integrated Project Metodi e Strumenti per la Progettazione e la Verifica di Sistemi Eterogenei Connessi mediante Reti di Comunicazione, CNR Integrated Project Modelli e Metodi per la Matematica e l'Ingegneria and Esprit Working Group CONFER2.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
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://rep1.iei.pi.cnr.it/Projects/JACK.
A. Bouali, A. Ressouche, V. Roy and R. de Simone. The FC2Tools set. In Proc. CAV'96, LNCS 1102. Springer Verlag, 1996.
M. Dam. Model checking mobile processes. In Proc. CONCUR'93, LNCS 715. Springer Verlag, 1993.
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.
S. Gnesi and G. Ristori. A model checking algorithm for π-calculus agents. In Proc. ICTL'97. Kluwer Academic Publishers, 1997.
R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Part I and II. Information and Computation, 100(1):1–77, 1992.
U. Montanari and M. Pistore. Checking bisimilarity for finitary π-calculus. In Proc. CONCUR'95, LNCS 962. Springer Verlag, 1995.
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.
U. Montanari and M. Pistore. Minimal transition systems for history-preserving bisimulation. In Proc. STACS'97, LNCS 1200. Springer Verlag, 1997.
U. Montanari, M. Pistore and D. Yankelevich. Efficient minimization up to location equivalence. In Proc. ESOP'96, LNCS 1058. Springer Verlag, 1996.
U. Montanani and M. Pistore. History-Dependent Automata. To appear as Technical Report, Department of Computer Science, University of Pisa, 1998.
F. Orava and J. Parrow. An Algebraic Verification of a Mobile Network. Formal Aspects of Computing, 4:497–543, 1992.
B. Victor and F. Moller. The Mobility Workbench — A tool for the π-calculus. In Proc. CAV'94, LNCS 818. Springer Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G. (1998). Verifying mobile processes in the HAL environment. In: Hu, A.J., Vardi, M.Y. (eds) Computer Aided Verification. CAV 1998. Lecture Notes in Computer Science, vol 1427. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028772
Download citation
DOI: https://doi.org/10.1007/BFb0028772
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64608-2
Online ISBN: 978-3-540-69339-0
eBook Packages: Springer Book Archive