The Linear Time - Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes

This publication has 22 references indexed in Scilit:

• Bisimulation can't be traced
  Journal of the ACM, 1995
• Quantales, observational logic and process semantics
  Mathematical Structures in Computer Science, 1993
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Readies and Failures in the Algebra of Communicating Processes
  SIAM Journal on Computing, 1988
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
  The Computer Journal, 1987
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982