Distributed Systems, Failure, Paper Review.
system meets its Safety and its Liveness Property. Failure A formal approach to defining Failure is based on the observation that a system changes its state as a result of two transition types: Normal Transitions Failure Transitions Informally, a failure is an unwanted but nevertheless possible