Balanced sliding window is a protocol used where reliable in-order delivery of packets is required (like TCP).
Course: Software Foundations, Spring 2020
Taught by: Prof. Venkatesh Chopella
Balanced sliding window, (or Selective Repeat sliding window) is modeled as transition system following in stages:
Two communicating processes P and Q send packets to each other, through a channel. P is considered to be the main sending process, and Q is sending acknowledgements. Each process has a send and a recieve buffer, and the channel is thought of as having 2 buffers (P->Q, Q->P).
See 03. Report.pdf for theory and proof, and 04. Implementation.pdf for examples.