2

A framework for modeling transfer protocols

Year:
2000
Language:
english
File:
PDF, 924 KB
english, 2000
5

Modular specification and verification of XTP

Year:
1998
Language:
english
File:
PDF, 714 KB
english, 1998
6

Implementierung von Kommunikationsprotokollen

Year:
1996
Language:
german
File:
PDF, 314 KB
german, 1996
14

Animation of Protocols and Distributed Algorithms

Year:
2000
Language:
english
File:
PDF, 976 KB
english, 2000