A Compositional Framework for Fault Tolerance by Specification Transformation.

Doron A. Peled Mathai Joseph

Published in: Theor. Comput. Sci. (1994)

Keyphrases

fault tolerance
fault tolerant
distributed systems
load balancing
high availability
distributed computing
response time
group communication
high performance computing
data replication
high scalability