Model checking mobile processes-Reference-Cited by-同舟云学术

Model checking mobile processes

Published:1993 Issue: Volume: Page:22-36
ISSN:0302-9743
Container-title:CONCUR'93
language:
Short-container-title:

Author:

Dam Mads

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57208-2_3.pdf

Reference17 articles.

1. H. Andersen and G. Winskel. Compositional checking of satisfaction. In Proc. 3rd Workshop on Computer Aided Verification, pages 49–65, July 1991.

2. R. Cleaveland, J. Parrow, and B. Steffen. A semantics based verification tool for finite state systems. In Proc. 9th IFIP Symp. Protocol Specification, Verification and Testing, 1989.

3. R. Cleaveland and B. Steffen. Computing behavioural relations, logically. In Proc. IGALP'91, 1991.

4. M. Hennessy and H. Lin. Symbolic bisimulations. Dept. of Computer Science, University of Sussex, Report 1/92, 1992.

5. M. Hennessy and X. Liu. A modal logic for message passing processes. Dept. of Computer Science, University of Sussex, Report 3/93, 1993.

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

1. A multi-paradigm approach to model and verify mobile agent software systems;Multiagent and Grid Systems;2019-01-18

2. Compositional verification of asynchronous concurrent systems using CADP;Acta Informatica;2015-04-22

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

4. Permission-Based Separation Logic for Message-Passing Concurrency;Logical Methods in Computer Science;2011-09-01

5. Forward Analysis of Depth-Bounded Processes;Foundations of Software Science and Computational Structures;2010