Pankaj Jalote
-
An abstract model of rollback recovery control in distributed systems
ACM SIGOPS Operating Systems Review