Verification in XESAR of the Sliding Window Protocol

Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron. Verification in XESAR of the Sliding Window Protocol. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 235-248, North-Holland, 1987.

Abstract

Abstract is missing.