Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs

Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro. Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. In PODC. pages 241-255, 1991.

@inproceedings{GaifmanMS91,
  title = {Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs},
  author = {Haim Gaifman and Michael J. Maher and Ehud Y. Shapiro},
  year = {1991},
  researchr = {https://researchr.org/publication/GaifmanMS91},
  cites = {0},
  citedby = {0},
  pages = {241-255},
  booktitle = {PODC},
}