13. SRDS 1994: Dana Point, California, USA

Fault-Tolerant Algorithms

Checkpointing

Stochastic Analysis

Transaction-Based Systems

Formal Methods

Message Passing

Reconfiguration and Load Balancing