Characterization of temporal property classes-Reference-Cited by-同舟云学术

Characterization of temporal property classes

Published:1992 Issue: Volume: Page:474-486
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Chang Edward,Manna Zohar,Pnueli Amir

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55719-9_97.pdf

Reference12 articles.

1. B. Alpern and F.B. Schneider. Defining liveness. Info. Proc. Lett., 21:181–185, 1985.

2. B. Alpern and F.B. Schneider. Recognizing safety and liveness. Dist. Comp., 2:117–126, 1987.

3. D. Gabbay. The declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, Lec. Notes in Comp. Sci. 398, pages 407–448. Springer-Verlag, 1987.

4. L. Lamport. Proving the correctness of multiprocess programs. IEEE Trans. Software Engin., 3:125–143, 1977.

5. L. Lamport. What good is temporal logic. In R.E.A. Mason, editor, Proc. IFIP 9th World Congress, pages 657–668. North-Holland, 1983.

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

1. Efficient Normalization of Linear Temporal Logic;Journal of the ACM;2024-04-10

2. General monitorability of totally ordered verdict domains;Innovations in Systems and Software Engineering;2024-04-06

3. Fairness and Liveness Under Weak Consistency;Lecture Notes in Computer Science;2024

4. Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems;Lecture Notes in Computer Science;2024

5. Symbolic Model Checking of Relative Safety LTL Properties;iFM 2023;2023-11-06