Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference16 articles.
1. The temporal logic of branching time;Ben-Ari,1981
2. Design and Synthesis of Programming Skeletons Using Branching Time Temporal Logic;Clarke,1981
3. Real time computations by n-dimensional iterative arrays of finite state machines;Cole;IEEE Trans. Comput.,1969
4. Propositional dynamic logic of regular programs;Fischer;J. Comput. System Sci.,1979
5. D. Gabbay, A. Pnueli, S. Shealah, and J. Stavi, Temporal analysis of fairness, in “Seventh ACM Symposium on Principles of Programming Languages,” Las Vegas, NV.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monitoring of spatio-temporal properties with nonlinear SAT solvers;International Journal on Software Tools for Technology Transfer;2024-02-22
2. A Spatial Logic for Simplicial Models;Logical Methods in Computer Science;2023-07-26
3. A Presheaf Semantics for Quantified Temporal Logics;Recent Trends in Algebraic Development Techniques;2023
4. Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL;ACM Transactions on Modeling and Computer Simulation;2019-10-31
5. Spatial logics and model checking for medical imaging;International Journal on Software Tools for Technology Transfer;2019-02-22