Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
- Haim Gaifman
- Michael J. Maker
- et al.
- 1991
- PODC 1991
Publications
Date
Featured collections
Popular topics
3 results for Haim Gaifman
Decidable optimization problems for database logic programs
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1988
- STOC 1988
Undecidable Optimization Problems for Database Logic Programs
- Haim Gaifman
- Harry Mairson
- et al.
- 1993
- Journal of the ACM (JACM)