Contextualizing commitment protocol.

Amit K. Chopra Munindar P. Singh

Published in: AAMAS (2006)

Keyphrases

lightweight
communication protocol
coloured petri nets
formal analysis
communication protocols
real time
information systems
database systems
security analysis
tcp ip
group communication
key exchange protocol