Conformance Checking for Models of Asynchronous Message Passing Software-Reference-Cited by-同舟云学术

Conformance Checking for Models of Asynchronous Message Passing Software

Published:2002 Issue: Volume: Page:166-179
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Rajamani Sriram K.,Rehof Jakob

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45657-0_13

Reference19 articles.

1. Lect Notes Comput Sci;R. Alur,1998

2. Lect Notes Comput Sci;E. Brinksma,1991

3. S. Chaki, S. K. Rajamani, and J. Rehof. Types as models: Model checking message-passing programs. In POPL 02: ACM Principles of Programming Languages, pages 45–57. ACM, 2002.

4. R. J. Cleaveland, 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, 1993.

5. Lect Notes Comput Sci;L. Alfaro de,2001

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

1. Constraints for Service Contracts;Trustworthy Global Computing;2012

2. Conformance Verification of Privacy Policies;Lecture Notes in Computer Science;2011

3. An Interaction-Oriented Agent Framework for Open Environments;AI*IA 2011: Artificial Intelligence Around Man and Beyond;2011

4. Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS;Declarative Agent Languages and Technologies VIII;2011

5. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication;Foundations of Computer Software. Future Trends and Techniques for Development;2010