The Austin Protocol Compiler, Fachbücher von Mohamed G. Gouda, Tommy M. McGuire

Der "Austin Protocol Compiler" ist ein Fachbuch, das sich mit der Entwicklung und Spezifikation von Netzwerkprotokollen beschäftigt. Es adressiert die Kommunikationsschwierigkeiten zwischen zwei Hauptgruppen von Forschenden: den Protokollverifizierern und den Protokollimplementierern. Diese Gruppen verwenden unterschiedliche semantische Ansätze zur Spezifikation von Protokollen, was zu Missverständnissen und Ineffizienzen führt. Das Buch stellt die Timed Abstract Protocol (TAP) Notation vor, die darauf abzielt, diese Kluft zu überbrücken. Die TAP-Notation kombiniert abstrakte und konkrete semantische Ansätze, um sowohl die Korrektheit der Protokollspezifikationen zu gewährleisten als auch deren Implementierung in gängigen Programmiersprachen zu erleichtern. Die Autoren, Tommy M. McGuire und Mohamed G. Gouda, bieten wertvolle Einblicke in die Theorie und Praxis der Protokollentwicklung und -verifikation, was das Buch zu einer wichtigen Ressource für Fachleute und Studierende im Bereich der Netzwerktechnologie macht.