Characterizing Kripke structures in temporal logic

This publication has 14 references indexed in Scilit:

• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Hierarchical verification of asynchronous circuits using temporal logic
  Theoretical Computer Science, 1985
• From synchronization tree logic to acceptance model logic
  Lecture Notes in Computer Science, 1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• The temporal logic of branching time
  Acta Informatica, 1983
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• "Sometimes" and "not never" revisited
  Published by Association for Computing Machinery (ACM) ,1983
• On observing nondeterminism and concurrency
  Lecture Notes in Computer Science, 1980