PROCOL: A Protocol-Constrained Concurrent Object-Oriented Language.

Jan van den Bos

Published in: Inf. Process. Lett. (1989)

Keyphrases

lightweight
coloured petri nets
mutual exclusion
neural network
communication protocol
network protocols
tcp ip
security analysis
rfid systems
multi party
case study
authentication protocol
elliptic curve
key distribution
provably secure
multi agent systems
concurrent execution