The Syntax and Semantics of μCRL
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 26-62
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A computer-checked verification of Milner's scheduler1994
- Verifying Process Algebra Proofs in Type Theory1994
- Structured operational semantics and bisimulation as a congruenceInformation and Computation, 1992
- The syntax definition formalism SDF—reference manual—ACM SIGPLAN Notices, 1989
- Laws of programmingCommunications of the ACM, 1987
- Process algebra for synchronous communicationInformation and Control, 1984
- The completeness of the algebraic specification methods for computable data typesInformation and Control, 1982
- Equations and Rewrite Rules: A Survey1980
- A characterisation of computable data types by means of a finite equational specification method1980
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942