Bahareh Badban, Wan Fokkink, Jaco van de Pol. Mechanical Verification of a Two-Way Sliding Window Protocol. In Peter H. Welch, Susan Stepney, Fiona A. C. Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson, editors, The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Volume 66 of Concurrent Systems Engineering Series, pages 179-202, IOS Press, 2008. [doi]
Abstract is missing.