A Formal Model of Crash Recovery in a Distributed System

Dale Skeen, Michael Stonebraker. A Formal Model of Crash Recovery in a Distributed System. IEEE Trans. Software Eng., 9(3):219-228, 1983.

Abstract

Abstract is missing.