IEBS Ticketing Protocol as Answer to Synchronization Issue.

Barbara Palacz Tomasz Milos Lukasz Dutka Jacek Kitowski

Published in: PPAM (2007)

Keyphrases

lightweight
interprocess communication
formal analysis
coloured petri nets
multi agent
natural language
correct answers
provably secure
network protocols