Author:
Kupferman Orna,Pnueli Amir,Vardi Moshe Y.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference41 articles.
1. A. Pnueli, The temporal logic of programs, in: Proc. 18th IEEE Symp. on Foundations of Computer Science, 1977, pp. 46–57.
2. L. Lamport, “Sometimes” is sometimes “not never” — On the temporal logic of programs, in: Proc. 7th ACM Symp. on Principles of Programming Languages, 1980, pp. 174–185.
3. Time and Modality;Prior,1957
4. J. Kamp, Tense logic and the theory of order, PhD thesis, UCLA, 1968.
5. D. Gabbay, A. Pnueli, S. Shelah, J. Stavi, On the temporal analysis of fairness, in: Proc. 7th ACM Symp. on Principles of Programming Languages, 1980, pp. 163–173.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analysis of specifications of multiparty sessions with dcj-lint;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
2. Alternating-time temporal logics with linear past;Theoretical Computer Science;2020-04
3. Interval vs. Point Temporal Logic Model Checking;ACM Transactions on Computational Logic;2019-01-31
4. FLOW LOGIC;LOG METH COMPUT SCI;2019
5. Cycle detection in computation tree logic;Information and Computation;2018-10