Propositional gossip protocols

DOI10.1007/978-3-030-86593-1_25OpenAlexW3201355539MaRDI QIDQ2140515

Dominik Wojtczak, Joseph Livesey

Publication date: 20 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86593-1_25

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Everyone knows that everyone knows

Uses Software

• NetKAT
• nuXmv

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Epistemic protocols for dynamic gossip
• The communication problem on graphs
• Towards an analysis of dynamic gossip in Net\textsc{kat}
• Dissemination of information in communication networks. Broadcasting, gossiping, leader election, and fault-tolerance.
• Reachability and expectation in gossiping
• The logic of gossiping
• On Decidability of a Logic of Gossips
• A survey of gossiping and broadcasting in communication networks
• A Problem with Telephones
• How to share knowledge by gossiping
• Knowledge-based programs
• When Are Two Gossips the Same?
• NetKAT

This page was built for publication: Propositional gossip protocols