Verification and Improvement of the Sliding Window Protocol
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 113-127
- https://doi.org/10.1007/3-540-36577-x_9
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Linear Parametric Model Checking of Timed AutomataPublished by Springer Nature ,2001
- Using compositional preorders in the verification of sliding window protocolPublished by Springer Nature ,1997
- The bounded retransmission protocol must be on time!Published by Springer Nature ,1997
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- A bounded retransmission protocol for large data packetsPublished by Springer Nature ,1996
- Reliable communication over unreliable channelsJournal of the ACM, 1994
- Proof-checking a data link protocolPublished by Springer Nature ,1994
- Special Issue Editorial Spatial data: applications, concepts, techniquesThe Computer Journal, 1994
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969