Swipe to navigate through the chapters of this book
This chapter illustrates how (Full) Maude can be used to model and analyze a series of protocols for achieving reliable ordered communication on top of an underlying unreliable transmission medium.
Please log in to get access to this content
To get access to this content you need the following product:
A receiving window of size \(k-1\) is sufficient (why?).
- Modeling and Analyzing Transport Protocols
Peter Csaba Ölveczky
- Springer London
- Sequence number
- Chapter number
- Chapter 12