Interleaving set temporal logic

This publication has 27 references indexed in Scilit:

• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Reasoning about fair concurrent programs
  Published by Association for Computing Machinery (ACM) ,1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• Alternative semantics for temporal logics
  Theoretical Computer Science, 1983
• The temporal logic of branching time
  Acta Informatica, 1983
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• An implementation of P and V
  Information Processing Letters, 1981
• A formal model of atomicity in asynchronous systems
  Acta Informatica, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980