Machine Checked Proofs of the Design of a Fault-Tolerance Circuit.

William R. Bevier William D. Young

Published in: Formal Aspects Comput. (1992)

Keyphrases

fault tolerance
fault tolerant
circuit design
load balancing
response time
distributed systems
distributed computing
mobile agents
high availability
data replication
database replication
database systems
high speed
peer to peer
printed circuit boards