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