The sliding-window protocol revisited

DOI10.1007/BF01214620zbMATH Open0817.68027MaRDI QIDQ1805397FDOQ1805397

Authors: Jan L. A. van de Snepscheut 

Publication date: 11 May 1995

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

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

zbMATH Keywords

safetylivenesssliding-window protocol

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Communicating sequential processes
• An incremental specification of the sliding-window protocol
• Verifying concurrent processes using temporal logic
• The probe: An addition to communication primitives
• An axiomatic definition of synchronization primitives

Cited In (8)

• Title not available (Why is that?)
• Compositional verification of a communication protocol for a remotely operated aircraft
• Specification and verification of the classical sliding window protocol
• Dynamic TCP acknowledgment with sliding window
• An incremental specification of the sliding-window protocol
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Algebraic Methodology and Software Technology
• Dynamic TCP Acknowledgment with Sliding Window

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)