The linear time — Branching time spectrum II

This publication has 13 references indexed in Scilit:

• A term model for CCS
  Published by Springer Nature ,2005
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• On the consistency of Koomen's Fair Abstraction Rule
  Theoretical Computer Science, 1987
• Another look at abstraction in process algebra
  Published by Springer Nature ,1987
• An improved failures model for communicating processes
  Published by Springer Nature ,1985
• Lectures on a calculus for communicating systems
  Lecture Notes in Computer Science, 1985
• A modal characterisation of observable machine-behaviour
  Lecture Notes in Computer Science, 1981
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977