Lecture Notes in Computer Science
International Workshop on Parallel and Distributed Methods in Verification
Software Analysis and Transformation

Fokkink, W., Groote, J. F., Pang, J., Badban, B., & van de Pol, J. (2004). Verifying a sliding window protocol in muCRL. In Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004 (pp. 148–163). Springer.