Fault-tolerant CSP

In a network of communicating processes performing a distributed computation, one can replicate some or all of the communicating processes on different nodes to increase successful probability of the distributed computation against node failures. The authors use communicating sequential process (CSP) to express this scheme by appropriately translating the commands which communicate with replicated processes. In order to make the translation scheme simple and easy to implement, the order of the replicas are deterministic