The Austin Protocol Compiler.

DOI10.1007/B101038zbMath1080.68012OpenAlexW2394680403MaRDI QIDQ1768948

Mohamed G. Gouda, Tommy M. McGuire

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

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

Related Items (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.