The Syntax and Semantics of μCRL

This publication has 15 references indexed in Scilit:

• A computer-checked verification of Milner's scheduler
  Published by Springer Nature ,1994
• Verifying Process Algebra Proofs in Type Theory
  Published by Springer Nature ,1994
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• The syntax definition formalism SDF—reference manual—
  ACM SIGPLAN Notices, 1989
• Laws of programming
  Communications of the ACM, 1987
• Process algebra for synchronous communication
  Information and Control, 1984
• The completeness of the algebraic specification methods for computable data types
  Information and Control, 1982
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• A characterisation of computable data types by means of a finite equational specification method
  Published by Springer Nature ,1980
• On Theories with a Combinatorial Definition of "Equivalence"
  Annals of Mathematics, 1942