µCRL: A Toolset for Analysing Algebraic Specifications
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 250-254
- https://doi.org/10.1007/3-540-44585-4_23
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Computer assisted manipulation of algebraic process specificationsACM SIGPLAN Notices, 2002
- Correct performance of transaction capabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Equational Binary Decision DiagramsPublished by Springer Nature ,2002
- Efficient annotated termsSoftware: Practice and Experience, 2000
- State Space Reduction Using Partial τ-ConfluencePublished by Springer Nature ,2000
- On the Verification of CoordinationPublished by Springer Nature ,2000
- Checking verifications of protocols and distributed systems by computerPublished by Springer Nature ,1998
- Confluence for process verificationTheoretical Computer Science, 1996
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- Invariants in Process Algebra with DataPublished by Springer Nature ,1994