Microkernels Meet Recursive Virtual Machines
Distributed snapshots: determining global states of distributed systems