Visa version
Version skapad av Johan Montelius 2012-09-09 22:20
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.