Publisher's Synopsis
This work covers areas such as: fault tolerant architectures; error detection and correction; modelling and tools; replica control and protocols; fault tolerant systems; system evaluation; checkpointing and transaction processing; and formal verification.