Self-stabilization of the alternating-bit protocol

Publisher Website

7 January 2003

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 80-83
https://doi.org/10.1109/reldis.1989.72751

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Reliable link initialization procedures
IEEE Transactions on Communications, 1988
Data link layer: two impossibility results
Published by Association for Computing Machinery (ACM) ,1988
A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
Published by Association for Computing Machinery (ACM) ,1987
On "A Simple Protocol Whose Proof Isńt": The State Machine Approach
IEEE Transactions on Communications, 1985
A Simple Protocol Whose Proof Isn't
IEEE Transactions on Communications, 1985
Bounds on the size and transmission rate of communications protocols
Computers & Mathematics with Applications, 1982
A data transfer protocol
Computer Networks (1976), 1976
Self-stabilizing systems in spite of distributed control
Communications of the ACM, 1974
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM, 1969