In Transition From Global to Modular Temporal Reasoning about Programs-Reference-Cited by-同舟云学术

In Transition From Global to Modular Temporal Reasoning about Programs

Published:1985 Issue: Volume: Page:123-144
ISSN:
Container-title:Logics and Models of Concurrent Systems
language:
Short-container-title:

Author:

Pnueli Amir

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-82453-1_5.pdf

Reference22 articles.

1. Barringer, H., Kuiper, R. — A Temporal Logic Specification Method Supporting Hierarchical Development, University of Manchester (November 1983).

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

3. 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.

4. Frances, N., Pnueli, A. — A Proof Method for Cyclic Programs, Acta Informatica 9 (1978) 133–157.

5. Gabbay, D., Pnueli, A., Shelah, S., Stavi, J. — On the Temporal Analysis of Fairness, Proc. of the 7th ACM Symposium on Principles of Programming Languages (1980) 163–173.

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

1. Contract-Based Distributed Logical Controller Synthesis;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

2. Utilization of hand phones to enhance management of vegetable-based business performance;AIP Conference Proceedings;2024

3. Modular Data Plane Verification for Compositional Networks;Proceedings of the ACM on Networking;2023-11-27

4. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

5. Compositional Verification in Rewriting Logic;Theory and Practice of Logic Programming;2023-08-31