The sliding-window protocol revisited

DOI10.1007/BF01214620zbMath0817.68027MaRDI QIDQ1805397

Jan L. A. van de Snepscheut

Publication date: 11 May 1995

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

zbMATH Keywords

livenesssafetysliding-window protocol

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items

Compositional verification of a communication protocol for a remotely operated aircraft

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The probe: An addition to communication primitives
• An axiomatic definition of synchronization primitives
• Verifying concurrent processes using temporal logic
• An incremental specification of the sliding-window protocol
• Communicating sequential processes