On "A Simple Protocol Whose Proof Isńt": The State Machine Approach

DOI10.1109/TCOM.1985.1096296zbMath0569.94002OpenAlexW2150409441MaRDI QIDQ3688295

Mohamed G. Gouda

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1109/tcom.1985.1096296

zbMATH Keywords

livenesssafetyreachability graphsequential programcommunicating finite state machinessynchronous 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: On "A Simple Protocol Whose Proof Isńt": The State Machine Approach