The Sliding-Window Protocol Revisited

Jan L. A. van de Snepscheut. The Sliding-Window Protocol Revisited. Formal Asp. Comput., 7(1):3-17, 1995.

@article{Snepscheut95,
  title = {The Sliding-Window Protocol Revisited},
  author = {Jan L. A. van de Snepscheut},
  year = {1995},
  tags = {protocol},
  researchr = {https://researchr.org/publication/Snepscheut95},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {7},
  number = {1},
  pages = {3-17},
}