A. Jesse Jiryu Davis • 8/13/2025

Knowledge and Common Knowledge in a Distributed Environment, Part 1

This article is the first part of a series analyzing the 1990 paper 'Knowledge and Common Knowledge in a Distributed Environment' by Halpern and Moses. It introduces the theory of knowledge applied to distributed systems, using the muddy children puzzle as an analogy to explain how processes reason about each other's states. The author aims to understand and explain the material while exploring potential integration of knowledge concepts into formal specification tools like TLA+.

0 comments

#distributed systems #Raft #Tla