Tight Cutoffs for Guarded Protocols with Fairness.

Simon Außerlechner Swen Jacobs Ayrat Khalimov

Published in: VMCAI (2016)

Keyphrases

fair exchange protocols
multi party non repudiation
lower bound
upper bound
fair exchange
worst case
query answering
communication protocols
fixed point
resource allocation
cooperative
database
communication protocol
game theory
decision procedures
generalization error bounds
case study