Preface.- Acknowledgements.- Network Protocols.- The Timed Abstract Protocol Notation.- Execution Models of Network Protocols.- Equivalence of Execution Models.- Preserving Fairness.- The Austin Protocol Compiler.- Two Examples.- A DNS Server.- Concluding Remarks.- Bibliography.- Index.
EAN/ISBN : 9780387232287
Publisher(s): Springer, Berlin, Springer US
Discussed keywords: Netzwerke, Netzwerkprotokoll
Format: ePub/PDF

Author(s): McGuire, Tommy M. - Gouda, Mohamed G.