Sign in

Automatic Verification of Fault-Tolerant Register Emulations.

Paul C. AttieHana Chockler
Published in: INFINITY (2005)
Keyphrases
  • fault tolerant
  • fault tolerance
  • distributed systems
  • high availability
  • load balancing
  • safety critical
  • state machine
  • distributed environment