Projection in temporal logic programming-Reference-Cited by-同舟云学术

Projection in temporal logic programming

Published:1994 Issue: Volume: Page:333-344
ISSN:0302-9743
Container-title:Logic Programming and Automated Reasoning
language:
Short-container-title:

Author:

Duan Zhenhua,Koutny Maciej,Holt Chris

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58216-9_48.pdf

Reference9 articles.

1. Barringer H., Kuiper R. and Pnueli A.: Now you may compose temporal logic specifications. Proceedings of 16th ACM Symposium on Theory of Computing, 51–63 (1984).

2. Duan Z., Holt C. and Moszkowski B.: An interpreter for an executable subset of extended interval temporal logic with framing and concurrent operators. BCTCS 8, Newcastle upon Tyne, March (1992).

3. Kröger F.: Temporal logic of programs. Springer-Verlag (1987).

4. Lamport L.: The temporal logic of actions. Digital, System Design Center, December (1991).

5. Manner Z. and Pnueli A.: The temporal logic of reactive and concurrent systems. Springer-Verlag (1992).

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

1. Verifying Chips Design at RTL Level;Theoretical Aspects of Software Engineering;2023

2. An application of temporal projection to interleaving concurrency;Formal Aspects of Computing;2017-07

3. Symbolic Model Checking for Alternating Projection Temporal Logic;Combinatorial Optimization and Applications;2015

4. An Application of Temporal Projection to Interleaving Concurrency;Dependable Software Engineering: Theories, Tools, and Applications;2015

5. Verification of distributed systems with the axiomatic system of MSVL;Formal Aspects of Computing;2015-01