Self-Stabilization of the Alternating-Bit Protocol.

Yehuda Afek Geoffrey M. Brown

Published in: SRDS (1989)

Keyphrases

lightweight
cryptographic protocols
formal analysis
communication protocol
video stabilization
network protocols
coloured petri nets
genetic algorithm
security protocols
tcp ip
bit vector
magnetic tape
protocol specification