Propositional Gossip Protocols under Fair Schedulers.

Joseph Livesey Dominik Wojtczak

Published in: IJCAI (2022)

Keyphrases

propositional logic
first order logic
communication protocols
scheduling algorithm
default logic
grid computing
communication protocol
information systems
overlay network
multi valued
multi unit combinatorial auctions
multi agent
multi party
horn clauses