scientific article; zbMATH DE number 7440211

zbMath1483.68361arXiv1606.07516MaRDI QIDQ5015383

Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1606.07516

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items

A Formal Model for Polarization under Confirmation Bias in Social Networks, Propositional gossip protocols, Everyone knows that everyone knows, Dynamic gossip, A logical study of group-size based social network creation, The logic of secrets and the interpolation rule, Minimal number of calls in propositional protocols, Unnamed Item, Unnamed Item, Epistemic protocols for dynamic gossip

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of sequential and concurrent programs
• Quick gossiping without duplicate transmissions
• Appraising fairness in languages for distributed programming
• Gossips and telephones
• A survey of gossiping and broadcasting in communication networks
• A Problem with Telephones
• Guarded commands, nondeterminacy and formal derivation of programs
• Communicating sequential processes
• Knowledge-based programs
• A Cure for the Telephone Disease