A semantic characterisation for faults in replicated systems

Padmanabhan Krishnan
1994 Theoretical Computer Science  
Krishnan, P., A semantic characterisation for faults in replicated systems, Theoretical Computer Science 128 (1994) 1599177. We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting. Based on an operational semantics, we define a bisimulation semantics. As the bisimulation semantics does not characterise fault tolerance we define preorders, which introduces
more » ... hierarchy of faulty processes and fault-tolerant processes. We then show how a similar ordering on modal-p formulae can characterise the fault preorders.
doi:10.1016/0304-3975(94)90168-6 fatcat:hasfa2gbozh6llgeaxlf6on27y