Dale Skeen, Michael Stonebraker. A Formal Model of Crash Recovery in a Distributed System. IEEE Trans. Software Eng., 9(3):219-228, 1983.
@article{SkeenS83, title = {A Formal Model of Crash Recovery in a Distributed System}, author = {Dale Skeen and Michael Stonebraker}, year = {1983}, researchr = {https://researchr.org/publication/SkeenS83}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {9}, number = {3}, pages = {219-228}, }