K. Mani Chandy Leslie Lamport Distributed Snapshots: Determining Global States of Distributed Systems ACM Trans. Comput. Syst. 3 1 1985 63-75 http://doi.acm.org/10.1145/214451.214456 db/journals/tocs/tocs3.html#ChandyL85