The Austin Protocol Compiler.

DOI10.1007/B101038MaRDI QIDQ1768948zbMATH OpenOpenAlexFDO

Authors Tommy M. McGuire, Mohamed G. Gouda

Publication date 15 March 2005

Published in Advances in Information Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b101038

zbMATH Keywords

network protocolscompilerabstract semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of compilers and interpreters (68N20) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1004221
• scientific article; zbMATH DE number 1196700
• scientific article; zbMATH DE number 1696763
• scientific article; zbMATH DE number 3958712
• A Simple Protocol Whose Proof Isn't

Cited in

(1)

• Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative

This page was built for publication: The Austin Protocol Compiler.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1768948)