Pushdown Processes: Parallel Composition and Model Checking-Reference-Cited by-同舟云学术

Pushdown Processes: Parallel Composition and Model Checking

Published:1994 Issue: Volume: Page:98-113
ISSN:0302-9743
Container-title:CONCUR '94: Concurrency Theory
language:
Short-container-title:

Author:

Burkart Olaf,Steffen Bernhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-48654-1_9

Reference24 articles.

1. J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. Technical Report CS-R8632, CWI, September 1987.

2. J.C. Bradfield. Verifying Temporal Properties of Systems with Applications to Petri Nets. PhD thesis, University of Edinburgh, 1991.

3. J.C. Bradfield and C. Stirling. Local Model Checking for Infinite State Spaces. Technical Report ECS-LFCS-90–115, LFCS, Edinburgh, Jun 1991.

4. O. Burkart and B. Steffen. Model Checking for Context-Free Processes. In CONCUR ‘82, LNCS 630, pages 123–137. Springer, 1992.

5. O. Burkart and B. Steffen. Composition, Decomposition and Model Checking of Pushdown Processes. Technical Report MIP-9402, Universität Passau, 1994.

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

1. Product Line Verification via Modal Meta Model Checking;From Software Engineering to Formal Methods and Tools, and Back;2019

2. Models, Mindsets, Meta: The What, the How, and the Why Not?;Lecture Notes in Computer Science;2019

3. M3C: Modal Meta Model Checking;Formal Methods for Industrial Critical Systems;2018

4. Developments in automated verification techniques;International Journal on Software Tools for Technology Transfer;2013-12-20

5. On expanding protocol conformance checking to exception handling;Service Oriented Computing and Applications;2013-11-30