Logics of time and computation
Logics of time and computation
Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Journal of the ACM (JACM)
Theoretical Computer Science
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
A semantics of sequence diagrams
Information Processing Letters
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
On the freeze quantifier in Constraint LTL: Decidability and complexity
Information and Computation
A Decidable Temporal Logic of Repeating Values
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Completeness Results for Memory Logics
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Run-Time Checking of Dynamic Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressive Completeness for Metric Temporal Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |