The SDL Specification of the Sliding Window Protocol Revisited

This paper is a corrigendum to the SDL specification of the sliding window protocol which was first published by the ISO/IEC as a technical report. We present some results of a tool supported simulation of the SDL specification of the sliding window protocol. We found out that the specification contains significant errors and does not meet the informal description of the protocol. In this paper we describe these errors and give a correct version of the SDL specification