Login / Signup
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
Haim Gaifman
Michael J. Maher
Ehud Shapiro
Published in:
PODC (1991)
Keyphrases
</>
concurrent programs
process algebra
concurrent programming
fault tolerant
fault tolerance
model checking
distributed databases
concurrent systems
high level
distributed systems
peer to peer
fine grained