Stabilizers: A Safe Lightweight Checkpointing Abstraction for Concurrent Programs (2005)

by Lukasz Ziarek , Philip Schatz, Suresh Jagannathan