G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In TACAS97, LNCS 1217, pp. 275-- 289, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
History Dependent Automata - Montanari, Pistore (2001) (3 citations) Self-citation (Montanari Pistore) (Correct)
No context found.
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, volume 1217 of LNCS. Springer Verlag, 1997.
Modelling Asynchronous Applications in a Mobile Environment - Gnesi, Semini Self-citation (Gnesi) (Correct)
....to S2 . Finally, to prove that the language implementation is correct, we show that operational behaviour is correct with respect to the language semantics. The verification calculus is based on a previous work which defined an automata based verification environment for calculus processes [6]. ....
G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'97, volume 1217 of Lecture Notes in Computer Science, pages 275--289. SpringerVerlag, 1997.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In TACAS97, LNCS 1217, pp. 275-- 289, 1997.
Model Checking Dynamic Allocation and Deallocation - Dino Distefano Arend (2002) (3 citations) (Correct)
No context found.
G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In TACAS97, LNCS 1217, pp. 275-- 289, 1997.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensin, Katoen (2002) (3 citations) (Correct)
No context found.
G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In TACAS97, LNCS 1217, pp. 275-- 289, 1997.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based verification environment for mobile processes. In TACAS97, LNCS 1217, pp. 275-- 289, 1997.
Calculi for Mobile Processes - Bibliography and Web Pages - Nestmann, Victor (1998) (Correct)
No context found.
G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore and G. Ristori. An Automata Based Verification Environment for Mobile Processes. In E. Brinksma, editor, Proceedings of TACAS '97, volume 1217 of LNCS, pages 275--289. Springer, Apr. 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC