Sciweavers

WOTUG
2008

Mechanical Verification of a Two-Way Sliding Window Protocol

14 years 26 days ago
Mechanical Verification of a Two-Way Sliding Window Protocol
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data transmitted back into the channel. The window size of both parties are considered to be finite, though they can be of different sizes. We show that this protocol is equivalent (branching bisimilar) to a pair of FIFO queues of finite capacities. The protocol is first modeled and manually proved for its correctness in the process algebraic language of
Bahareh Badban, Wan Fokkink, Jaco van de Pol
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where WOTUG
Authors Bahareh Badban, Wan Fokkink, Jaco van de Pol
Comments (0)