1 Table of Contents: “... distributed system -- 1.3 Logical Clocks -- 1.4 Vector Clocks -- 1.5 Direct Dependency Clocks -- 1.6 Higher...”

2 Table of Contents: “... Forensics -- VALI: A Visual Correlation Tool Based on Vector Clocks -- An Open Architecture for Distributed...”

3 Table of Contents: “...2.3 Adjacency List Representation2.4 Vector Clock Representation; 2.5 Matrix Representation; 2.6...”

4 Table of Contents: “... -- Partially Ordered State -- Causal History -- Vector Clocks -- A History of Facts -- Sets...”

5 Table of Contents: “... Representations -- 4.4.2. Vector Clocks -- 4.4.3. Event Orderings -- 5. Model Checking -- 6. Related and Future...”