A Consistent History Link Connectivity Protocol.

Paul S. LeMahieu Jehoshua Bruck

Published in: IPPS/SPDP (1999)

Keyphrases

lightweight
formal analysis
connected components
social networks
multi agent
security protocols
authentication protocol
medium access
coloured petri nets