Distributed Systems, Failure, Paper Review.
steps, where a step represents a transition from state sₙ to state sₘ performed by action aₙ Example of a State Action Behavior In summary, the definition of a system may be understood as a generator for the possible executions of a system. Correctness, Safety, and Liveness In [2] Leslie Lamport