The sliding-window protocol revisited (1995)

by J L A Snepscheut
Venue:Formal Aspects of Computing