Decidability of Fair Termination of Gossip Protocols.

Krzysztof R. Apt Dominik Wojtczak

Published in: LPAR (Short Presentations) (2017)

Keyphrases

type checking
query answering
description logics
authentication protocol
communication protocols
expert systems
rewrite systems
termination analysis
social networks
data types
theorem proving
key distribution
cryptographic protocols
term rewriting
voting protocols
multi unit combinatorial auctions