Knowledge and Common Knowledge in a Distributed Environment, Part 3
Read OriginalThis third article in a series analyzes the classic 'coordinated attack' problem in distributed systems. It details the proof from Halpern and Moses' 1990 paper, demonstrating why coordinated action is impossible in an asynchronous environment where messages can be lost or delayed, as it requires common knowledge which cannot be achieved. The post walks through formal lemmas linking the attack condition to mutual and common knowledge.
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
1
Quoting Thariq Shihipar
Simon Willison
•
2 votes
2
Using Browser Apis In React Practical Guide
Jivbcoop
•
2 votes
3
Top picks — 2026 January
Paweł Grzybek
•
1 votes
4
In Praise of –dry-run
Henrik Warne
•
1 votes
5
Deep Learning is Powerful Because It Makes Hard Things Easy - Reflections 10 Years On
Ferenc Huszár
•
1 votes
6
Vibe coding your first iOS app
William Denniss
•
1 votes
7
AGI, ASI, A*I – Do we have all we need to get there?
John D. Cook
•
1 votes
8
Dew Drop – January 15, 2026 (#4583)
Alvin Ashcraft
•
1 votes