Protocol Specialization.

Matthias Neubauer Peter Thiemann

Published in: APLAS (2004)

Keyphrases

communication protocol
tcp ip
coloured petri nets
decision trees
lightweight
formal analysis
network protocols
file transfer
database
database systems
multi party
cryptographic protocols