Stabilizers: a modular checkpointing abstraction for concurrent functional programs (2006)

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