Action versus state based logics for transition systems-Reference-Cited by-同舟云学术

Action versus state based logics for transition systems

Published:1990 Issue: Volume: Page:407-419
ISSN:0302-9743
Container-title:Semantics of Systems of Concurrent Processes
language:
Short-container-title:

Author:

Nicola Rocco,Vaandrager Frits

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53479-2_17.pdf

Reference16 articles.

1. M.C. Browne, E.M. Clarke & O. Grümberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoret. Comp. Sci., 59 (1,2), 1988, pp. 115–131.

2. E.M. Clarke, E.A. Emerson & A.P. Sistla: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Toplas, 8 (2), 1986, pp. 244–263.

3. E.M. Clarke, D.E. Long & K.L. Macmillan: Compositional Model Checking. In Proceedings 4th Annual Symposium on Logic in Computer Science (LICS), Asilomar, California, IEEE Computer Society Press, Washington, 1989, pp. 353–362.

4. Cleaveland, R., Parrow, J., Steffen, B. The Concurrency Workbench. In Automatic Verification Methods for Finite State Systems (J. Sifakis, ed.) Lecture Notes in Computer Science 407, Springer-Verlag, 1990, pp. 24–37.

5. R. De Nicola, & F.W. Vaandrager: Three Logics for Branching Bisimulations (Extended Abstract) in Proc. of the 5th Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, USA, June 1990, IEEE Computer Society Press, Los Alamitos, CA, 1990, pp. 118–129.

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

1. Four Formal Models of IEEE 1394 Link Layer;Electronic Proceedings in Theoretical Computer Science;2024-03-27

2. On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems;Formal Techniques for Distributed Objects, Components, and Systems;2023

3. Model Checking Strategies from Synthesis over Finite Traces;Automated Technology for Verification and Analysis;2023

4. Linear parallel algorithms to compute strong and branching bisimilarity;Software and Systems Modeling;2022-12-06

5. On the Modeling and Verification of Collective and Cooperative Systems;Frontiers in Robotics and AI;2022-06-27