Local Synchronous Capacity Allocation Schemes for Guaranteeing Message Deadlines with the Timed Token Protocol.

Gopal Agrawal Biao Chen Wei Zhao

Published in: INFOCOM (1993)

Keyphrases

capacity allocation
message delivery
provably secure
database transactions
petri net
square root
colored petri nets
messages exchanged
cryptographic protocols
budget constraints
commit protocols
electronic commerce
shape analysis