An automata based verification environment for mobile processes-Reference-Cited by-同舟云学术

An automata based verification environment for mobile processes

Published:1997 Issue: Volume: Page:275-289
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Ferrari G.,Ferro G.,Gnesi S.,Montanari U.,Pistore M.,Ristori G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0035394

Reference26 articles.

1. A. Bouali and R. De Simone. Symbolic bisimulation minimization. In Proc. CAV'92, LNCS 663. Springer-Verlag, 1992.

2. A. Bouali, A. Ressouche, V. Roy and R. De Simone. The FC2Tools set. In Proc. CAV'96, LNCS 1102. Springer Verlag, 1996.

3. G. Boudol, I. Castellani, M. Hennessy and A. Kiehn. Observing localities. Theoretical Computer Science, 114: 31–61, 1993.

4. R. Cleveland, J. Parrow and B. Steffen. The Concurrency Workbench: a semantics-based tool for the verification of finite-state systems. ACM Transactions on Programming Languages and Systems 15(1):36–72, 1003.

5. M. Dam. Model checking mobile processes. In Proc. CONCUR'93, LNCS 715. Springer Verlag, 1993.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Learning Nominal Automata with Binders;Electronic Proceedings in Theoretical Computer Science;2019-09-12

2. Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies;IEEE Transactions on Services Computing;2017-03-01

3. PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus;Tools and Algorithms for the Construction and Analysis of Systems;2013

4. Translating Pi-Calculus into LOTOS NT;Lecture Notes in Computer Science;2010

5. A Calculus for Generation, Verification and Refinement of BPEL Specifications;Electronic Notes in Theoretical Computer Science;2008-05