Tight Cutoffs for Guarded Protocols with Fairness.

Simon Außerlechner Swen Jacobs Ayrat Khalimov

Published in: CoRR (2015)

Keyphrases

fair exchange protocols
multi party non repudiation
lower bound
fair exchange
upper bound
resource allocation
worst case
fixed point
game theory
database
multi party
distributed systems
communication protocol
probabilistic databases
np hard
data model
computational complexity
cooperative
real time