Author:
Ferrari G.,Gnesi S.,Montanari U.,Pistore M.,Ristori G.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
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://rep1.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 π-calculus agents. In Proc. ICTL'97. Kluwer Academic Publishers, 1997.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Learning Nominal Automata with Binders;Electronic Proceedings in Theoretical Computer Science;2019-09-12
2. The Legacy of Stefania Gnesi;From Software Engineering to Formal Methods and Tools, and Back;2019
3. Weak CCP bisimilarity with strong procedures;Science of Computer Programming;2015-03
4. Towards a formal analysis of dynamic reconfiguration in WS-BPEL;Intelligent Decision Technologies;2013-06-19
5. Reducing Weak to Strong Bisimilarity in CCP;Electronic Proceedings in Theoretical Computer Science;2012-12-14