@book{ced21e1eb87c4739a71364e7119fee3d,
title = "The Bounded Retransmission Protocol must be on time!",
abstract = "This paper concerns the transfer of files via a lossy communication channel. It formally specifies this file transfer service in a property-oriented way and investigates -using two different techniques -whether a given bounded retransmission protocol conforms to this service. This protocol is based on the well-known alternating bit protocol but allows for a bounded number of retransmissions of a chunk, i.e., part of a file, only. So, eventual delivery is not guaranteed and the protocol may abort the file transfer. We investigate to what extent real-time aspects are important to guarantee the protocol's correctness and use Spin and Uppaal model checking for our purpose.",
keywords = "IR-18600, METIS-119121, EWI-6034",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and T.C. Ruys and G.J. Tretmans",
note = "Imported from CTIT",
year = "1997",
language = "Undefined",
series = "CTIT technical report",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "97-03",
address = "Netherlands",
}