The sliding-window protocol revisited
From MaRDI portal
Publication:1805397
Recommendations
Cites work
- 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?)
- An axiomatic definition of synchronization primitives
- An incremental specification of the sliding-window protocol
- Communicating sequential processes
- The probe: An addition to communication primitives
- Verifying concurrent processes using temporal logic
Cited in
(8)- Compositional verification of a communication protocol for a remotely operated aircraft
- scientific article; zbMATH DE number 1956576 (Why is no real title available?)
- 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
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)
