Linear and branching structures in the semantics and logics of reactive systems

This publication has 24 references indexed in Scilit:

• A linear-history semantics for languages for distributed programming
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• A modal characterization of observational congruence on finite terms of CCS
  Published by Springer Nature ,1984
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• The temporal logic of branching time
  Acta Informatica, 1983
• "Sometimes" and "not never" revisited
  Published by Association for Computing Machinery (ACM) ,1983
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Semantics of nondeterminism, concurrency, and communication
  Journal of Computer and System Sciences, 1979
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967