Lock Trace Reduction for Multithreaded Programs
Distributed snapshots: determining global states of distributed systems