Concurrent token ring protocol.

Mingcheng Xu James H. Herzog

Published in: INFOCOM (1988)

Keyphrases

network protocols
lightweight
formal analysis
coloured petri nets
authentication protocol
cryptographic protocols
neural network
application layer
tcp ip
mutual exclusion
concurrent execution