IOS Press
Conference on Communicating Process Architectures
Software Analysis and Transformation

Badban, B, Fokkink, W.J, & van de Pol, J.C. (2008). Mechanical verification of a two-way sliding window protocol. In Proc. 9th Conference on Communicating Process Architectures (pp. 179–202). IOS Press.