“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Modal System of Algebras for Database Specification and Query/Update Language Support
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Functional specification of synchronized processes based on modal logic
ICSE '82 Proceedings of the 6th international conference on Software engineering
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
A logic to reason about likelihood
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |