Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
DOI10.1145/112600.112621zbMath1314.68183OpenAlexW2011080609MaRDI QIDQ5255824
Ehud Shapiro, Haim Gaifman, Michael J. Maher
Publication date: 19 June 2015
Published in: Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/112600.112621
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
This page was built for publication: Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
