Gouda, Mohamed G.
The Austin Protocol Compiler
Table of contents
1. Network Protocols
2. The Timed Abstract Protocol Notation
3. Execution Models of Network Protocols
4. Equivalence of Execution Models
5. Preserving Fairness
6. The Austin Protocol Compiler
7. Two Examples
8. A DNS Server
9. Concluding Remarks
DRM-restrictions
Printing: not available
Clipboard copying: not available
Keywords: COMPUTERS / Computer Science COM014000
- Author(s)
- Gouda, Mohamed G.
- McGuire, Tommy M.
- Publisher
- Springer
- Publication year
- 2005
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9780387232287