Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.

Linas Laibinis Elena Troubitsyna

Published in: SEFM (2004)

Keyphrases

fault tolerance
layered architecture
fault tolerant
distributed systems
load balancing
distributed computing
response time
group communication
peer to peer
high availability
replicated databases
error detection
database replication
cooperative
failure recovery
mobile agents
fault management
web services