Proof-checking a data link protocol
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 127-165
- https://doi.org/10.1007/3-540-58085-9_75
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Algebraic Specification of Communication ProtocolsPublished by Cambridge University Press (CUP) ,1993
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Computer-assisted simulation proofsPublished by Springer Nature ,1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Computer Aided VerificationPublished by Springer Nature ,1993
- Lambda Calculi with TypesPublished by Oxford University Press (OUP) ,1992
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987