An incremental specification of the sliding-window protocol
From MaRDI portal
Publication:1176075
DOI10.1007/BF02259750zbMath0738.68057OpenAlexW2080960387MaRDI QIDQ1176075
Karen Paliwoda, Jeff M. Sanders
Publication date: 25 June 1992
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02259750
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
A trace-based compositional proof theory for fault tolerant distributed systems ⋮ Structured development of a virtual shared memory system ⋮ Improving routing in long-distance wireless mesh networks via a distributed embedded router ⋮ Compositional verification of a communication protocol for a remotely operated aircraft ⋮ The sliding-window protocol revisited
Uses Software
Cites Work
This page was built for publication: An incremental specification of the sliding-window protocol
