Comparing linear and branching time temporal logics

This publication has 15 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• The power of the future perfect in program logics
  Information and Control, 1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Axiomatising finite delay operators
  Acta Informatica, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Process logic: Expressiveness, decidability, completeness
  Journal of Computer and System Sciences, 1982
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980