Distributed Application, Partial Order, Failure Recovery