Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol. Verifying a Sliding Window Protocol in µCRL. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 148-163, Springer, 2004. [doi]
Abstract is missing.