On the relation of programs and computations to models of temporal logic

This publication has 41 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Reasoning about fair concurrent programs
  Published by Association for Computing Machinery (ACM) ,1986
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• Automata, tableaux, and temporal logics
  Published by Springer Nature ,1985
• Deciding full branching time logic
  Information and Control, 1984
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982