Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari G., Ferro G., Gnesi S., Montanari U., Pistore M., Ristori G. An automata based verification encironment for mobile processes. In: TACAS'97 - Proceedings of Third International Workshop Tools and Algorithms for the Construction and Analysis of Systems. (Enschede, The Netherlands, 1997). Proceedings, pp. 275 - 289. Ed Brinksma (ed.). (Lecture Notes in Computer Science, vol. 1217). Springer, 1997.
A verification environment for the -calculus is presented. The environment takes a direct advantage of a general theory which allows to associate ordinary finite state automata to a wide class of -calculus agents, so that equivalent automata are associated to equivalent -calculus agents. A key feature of the approach is the reuse of efficient algorithms and verification techniques which have been developed and implemented for ordinary automata. Work partially founded by CNR Integrated Project Metodi e Strumenti per la Progettazione e la Verifica di Sistemi Eterogenei Connessi mediante Reti di Comunicazione and Esprit Working Group CONFER2.
DOI: 10.1007/BFb0035375
Subject Automata based verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional