D. Skeen and M. Stonebraker, "A Formal Model of Crash Recovery in a Distributed System," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 219-228, 1983.
doi:10.1109/TSE.1983.236608
keywords:{transaction management; Commit protocols; crash recovery; distributed database systems; distributed systems; fault tolerance},
url:doi.ieeecomputersociety.org/10.1109/TSE.1983.236608