An elementary derivation of the alternating bit protocol

W.H.J. Feijen, A.J.M. Gasteren, van, B. Schieder

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

The famous alternating bit protocol is an algorithm for transmitting a sequence of data through a so-called faulty channel, i.e. a channel that can lose or duplicate injected data. The established literature provides a wealth of treatments and plenty of a-posteriori correctness proofs of the protocol; derivations of the algorithm, however, are very rare. The prime purpose of this note is to provide such a derivation from first principles, using the theory of Owicki and Gries as the only tool for reasoning about parallel programs.
Originele taal-2Engels
TitelMathematics of Program Construction (Proceedings 4th International Conference, MPC'98, Marstrand, Sweden, July 15-17, 1998)
RedacteurenJ. Jeuring
Plaats van productieBerlin
UitgeverijSpringer
Pagina's175-187
ISBN van geprinte versie3-540-64591-8
DOI's
StatusGepubliceerd - 1998

Publicatie series

NaamLecture Notes in Computer Science
Volume1422
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'An elementary derivation of the alternating bit protocol'. Samen vormen ze een unieke vingerafdruk.

Citeer dit