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.

@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},
}