A corrected failure-divergence model for CSP in Isabelle/HOL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 318-337
- https://doi.org/10.1007/3-540-63533-5_17
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Correct and user-friendly implementations of transformation systemsPublished by Springer Nature ,1996
- Seven more myths of formal methods: Dispelling industrial prejudicesPublished by Springer Nature ,1994
- IsabellePublished by Springer Nature ,1994
- A Higher Order Logic Mechanization of the CSP Failure-Divergence SemanticsPublished by Springer Nature ,1991
- An improved failures model for communicating processesPublished by Springer Nature ,1985
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940