Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs (2006)

by Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
Venue:In ICFP