A Simple Protocol Whose Proof Isn't

DOI10.1109/TCOM.1985.1096306zbMath0569.94001MaRDI QIDQ3688294

Brent T. Hailpern

Publication date: 1985

Published in: IEEE Transactions on Communications (Search for Journal in Brave)

zbMATH Keywords

finite-state machinesabstract-program approacherror-prone channelreliable transmission of datasynchronous protocol

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25) Communication theory (94A05)

Related Items (1)

Self-stabilization over unreliable communication media

This page was built for publication: A Simple Protocol Whose Proof Isn't