PROCOL: a protocol-constrained concurrent object-oriented language.

Jan van den Bos

Published in: ACM SIGPLAN Notices (1989)

Keyphrases

lightweight
cryptographic protocols
network protocols
coloured petri nets
real time
metadata
wireless sensor networks
formal analysis
security protocols
communication protocol
application layer
communication protocols
file transfer