A semantic characterization for faults in replicated systems (Q1330427)

The paper describes a process algebraic approach to the semantics of replicated systems. A subset of CCS will be extended with a replication operator to model systems with replicated synchronous majority voting, with a notion of fault injection. Based on preorders, a hierarchy of faulty processes and fault-tolerant processes will be introduced. Finally, the author demonstrates how a similar ordering on modal-\(\mu\) formulae can characterize the fault preorders.