Marc Bezem, Jan Friso Groote. A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. Comput. J., 37(4):289-307, 1994.
@article{BezemG94:0,
title = {A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL},
author = {Marc Bezem and Jan Friso Groote},
year = {1994},
tags = {protocol},
researchr = {https://researchr.org/publication/BezemG94%3A0},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {289-307},
}