Distributed Systems, Failure, Paper Review.
we will adopt a System Model defined by Leslie Lamport. In [1] Leslie Lamport defines Definition and Execution: The Definition of a software system or component can be modeled as a state action machine. The Execution of a software system or component can be modeled as a state action behavior.