The sliding-window protocol revisited

DOI10.1007/BF01214620MaRDI QIDQ1805397zbMATH OpenFDO

Authors Jan L. A. van de Snepscheut

Publication date 11 May 1995

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01214620

zbMATH Keywords

livenesssafetysliding-window protocol

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• An incremental specification of the sliding-window protocol
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1956576
• Specification and verification of the classical sliding window protocol

Cites work

• An axiomatic definition of synchronization primitives
• An incremental specification of the sliding-window protocol
• Communicating sequential processes
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• The probe: An addition to communication primitives
• Verifying concurrent processes using temporal logic

Cited in

(8)

• Dynamic TCP acknowledgment with sliding window
• An incremental specification of the sliding-window protocol
• Compositional verification of a communication protocol for a remotely operated aircraft
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Specification and verification of the classical sliding window protocol
• Dynamic TCP Acknowledgment with Sliding Window
• scientific article; zbMATH DE number 1956576 (Why is no real title available?)
• Algebraic Methodology and Software Technology

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: The sliding-window protocol revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1805397)