Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems-Reference-Cited by-同舟云学术

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

Published:2000 Issue: Volume: Page:266-282
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Krimm Jean-Pierre,Mounier Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_19

Reference19 articles.

1. Lect Notes Comput Sci;P. Abdulla,1998

2. BFG+91._Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, and Joseph Sifakis. Safety for Branching Time Semantics. In Proceedings of 18th ICALP. Springer Verlag, July 1991. 270

3. Lect Notes Comput Sci;B.F.G.+.9.9._.M. Bozga,1999

4. S.C. Cheung and J. Kramer. Enhancing Compositional Reachability Analysis with Context Constraints. In Proceedings of the 1st ACM International Symposium on the Foundations of Software Engineering, pages 115–125, Los Angeles, California, December 1993. 267

5. S. Graf and B. Steffen. Compositional Minimization of Finite State Processes. In Workshop on Computer-Aided Verification, Rutgers, USA, June 1990. DIMACS, R.P. Kurshan and E.M. Clarke. 267

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

1. Deciding probabilistic automata weak bisimulation: theory and practice;Formal Aspects of Computing;2016-03

2. Error-preserving local transformations on communication protocols;Software Testing, Verification and Reliability;2011-01-21

3. Verification of Orchestration Systems Using Compositional Partial Order Reduction;Formal Methods and Software Engineering;2011

4. IF: A Validation Environment for Timed Asynchronous Systems;Computer Aided Verification;2000