Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco Verification of a sliding window protocol in \(\mu\) CRL and PVS. (English) Zbl 1101.68309 Formal Asp. Comput. 17, No. 3, 342-388 (2005). Cited in 8 Documents MSC: 68M10 Network design and communication in computer systems Keywords:Branching bisimulation; Process algebra; Sliding window protocols; Specification; Verification techniques Software:PVS PDFBibTeX XMLCite \textit{B. Badban} et al., Formal Asp. Comput. 17, No. 3, 342--388 (2005; Zbl 1101.68309) Full Text: DOI