Arbeitspapiere der GMD Nr. 441, pages 1-41 pp.. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, April 1990. In German.
Abstract: Die Arbeit behandelt das sog. ``Alternating-Bit-Protokoll''. Die Aufgabe dieses Protokolls ist es, die Forderung nach verlustfreier Kommunikation zu erfüllen, obwohl kein verlustfrei arbeitender Dienst zur Verfügung steht. (Existenz einer funktionalen Differenz.) Man kann sagen, daÑ das Protokoll ein aus zwei räumlich verteilten Instanzen bestehendes System ist, welches zwei übereinanderliegende ``Dienstgrenzen'' miteinander verbindet, nämlich die Grenze zum geforderten Dienst und die Grenze zum verfügbaren Dienst. Durch diese Verbindung soll die funktionale Differenz überbrückt werden --- Das Gesamtsystem wird als Produkt-Netz dargestellt. Das Ziel der Arbeit ist der Nachweis der Funktionstüchtigkeit des Protokolls in der Darstellung diese Netzes.
Keywords: alternating bit-protocol; product net; non-dissipative communication; functional differrence.