Global state

How do we describe the state of a distributed system. What is a state of a global system and how do we know that we have recorded it properly? Can we say anything about properties of an execution by looking at recorded states.

* global.pdf