Propositional gossip protocols
From MaRDI portal
Recommendations
Cites work
- A Problem with Telephones
- A survey of gossiping and broadcasting in communication networks
- Common knowledge in a logic of gossips
- Dissemination of information in communication networks. Broadcasting, gossiping, leader election, and fault-tolerance.
- Epistemic protocols for dynamic gossip
- How to share knowledge by gossiping
- scientific article; zbMATH DE number 7440211 (Why is no real title available?)
- scientific article; zbMATH DE number 6747860 (Why is no real title available?)
- scientific article; zbMATH DE number 3358479 (Why is no real title available?)
- Knowledge-based programs
- Netkat, semantic foundations for networks
- On decidability of a logic of gossips
- Open problems in a logic of gossips
- Reachability and expectation in gossiping
- The communication problem on graphs
- The logic of gossiping
- Towards an analysis of dynamic gossip in Net\textsc{kat}
- Verification of distributed epistemic gossip protocols
- When Are Two Gossips the Same?
Cited in
(6)- Dealing with unreliable agents in dynamic gossip
- Reachability of five gossip protocols
- scientific article; zbMATH DE number 7440211 (Why is no real title available?)
- Open problems in a logic of gossips
- Epistemic protocols for dynamic gossip
- Strengthening gossip protocols using protocol-dependent knowledge
This page was built for publication: Propositional gossip protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140515)
