Linear and branching structures in the semantics and logics of reactive systems-Reference-Cited by-同舟云学术

Linear and branching structures in the semantics and logics of reactive systems

Published: Issue: Volume: Page:15-32
ISSN:
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Pnueli Amir

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0015727

Reference39 articles.

1. Apt, K.R., Francez, N., DeRoever, W.P. A Proof System for Communicating Sequential Processes, TOPLAS 2, 3 (1980) 359–385.

2. de Bakker, J.W., Bergstra, J.A., Klop, J.W., Meyer, J.J.C. Linear Time and Branching Time Semantics for Recursion with Merge, 10th ICALP, LNCS 154 (1983) 39–51.

3. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W. A Theory of Communicating Sequential Processes, JACM 31 (1984) 560–569.

4. Barringer, H., Kuiper, R., Pnueli, A. Now You May Compose Temporal Logic Specifications, 16th ACM Symposium on Theory of Computing (1984) 51–63.

5. Barringer, H., Kuiper, R., Pnueli, A. A Compositional Temporal Approach to a CSP-like Language, Proc. of IFIP Conference, the Role of Abstract Models in Information Processing, Vienna (1985).

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

1. Verification-Driven Design for Asynchronous VLSI;2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2023-07-16

2. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

3. States and Events in KandISTI;Lecture Notes in Computer Science;2019

4. From the Archives of the Formal Methods and Tools Lab;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

5. Temporal Reasoning on Incomplete Paths;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018