Login / Signup

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

Haim GaifmanMichael J. MaherEhud 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