Krishnan, P.2009-10-282009-10-281993Krishnan, P. (1993) A Semantic Characterisation for Faults in Replicated Systems..http://hdl.handle.net/10092/3031TR-COSC 11/93We 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 a hierarchy of faulty processes and fault tolerant processes. We then show how a similar ordering on modal- formulae can characterise the fault preorders.enReportsFields of Research::280000 Information, Computing and Communication Sciences::280400 Computation Theory and Mathematics::280499 Computation theory and mathematics not elsewhere classified