A computer-checked verification of Milner's scheduler
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 161-178
- https://doi.org/10.1007/3-540-57887-0_95
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proof-checking a data link protocolPublished by Springer Nature ,1994
- A computer-checked verification of Milner's schedulerPublished by Springer Nature ,1994
- Verifying Process Algebra Proofs in Type TheoryPublished by Springer Nature ,1994
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990