Article thumbnail

A semantic characterisation for faults in replicated systems

By Padmanabhan Krishnan


AbstractWe 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

Publisher: Published by Elsevier B.V.
Year: 1994
DOI identifier: 10.1016/0304-3975(94)90168-6
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • https://s3-eu-west-1.amazonaws... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.