Handbook of theoretical computer science (vol. B)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Automata, Languages, and Machines
Automata, Languages, and Machines
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Varieties Of Formal Languages
First-Order Logic with Two Variables and Unary Temporal
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Temporal logic and semidirect products: an effective characterization of the until hierarchy
FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
| Hi-index | 0.00 |
This paper gives a gentle introduction to the semigroup-theoretic approach to classifying discrete temporal properties and surveys the most important results.