Literature
Books
(in alphabetic order)
- Gerard J. Holzmann:
Design and Validation of Computer Protocols
Prentice Hall, 1991, ISBN 0-13-539834-7
- Gerard J. Holzmann:
The Spin Model Checker - Primer and Reference Manual
Addison-Wesley, 2003, ISBN 0-321-22862-6
- S. Keshav:
An Engineering Approach to Computer Networking,
Addison-Wesley, ISBN 0201634422
- James F. Kurose, Keith W. Ross:
Computer Networking - A Top-Down Approach
Addison-Wesley, ISBN 0-321-49770-8
Papers
- D. Clark, "The
Design Philosophy of the DARPA Internet Protocols", Computer
Communications Review 18:4, August 1988, pp. 106–114
- G. J. Holzmann, "Tutorial:
Design and Validation of Protocols",
Computer Networks and ISDN Systems, Vol. 25, No. 9, pp. 981-1017, 1993.
- G. J. Holzmann, "The
Model Checker SPIN", IEEE Transactions on Software Engineering,
23(5), May 1997, pp. 279-295.
Specification Documents
This list will be extended during the semester. Further references are given on the lecture slides.