Propositional temporal logics and equivalences

This publication has 17 references indexed in Scilit:

• Temporal Logic
  Published by Springer Nature ,1992
• Modelling Nondeterministic Concurrent Processes with Event Structures
  Fundamenta Informaticae, 1991
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• Interleaving set temporal logic
  Published by Association for Computing Machinery (ACM) ,1987
• On the semantics of concurrency: Partial orders and transition systems
  Published by Springer Nature ,1987
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980