A Semantic Characterisation for Faults in Replicated Systems

Simple item page
dc.contributor.authorKrishnan, P.
dc.date.accessioned2009-10-28T00:15:49Z
dc.date.available2009-10-28T00:15:49Z
dc.date.issued1993en
dc.descriptionTR-COSC 11/93en
dc.description.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.en
dc.identifier.citationKrishnan, P. (1993) A Semantic Characterisation for Faults in Replicated Systems..en
dc.identifier.urihttp://hdl.handle.net/10092/3031
dc.language.isoen
dc.publisherDepartment of Computer Science, University of Canterburyen
dc.publisherUniversity of Canterbury. Computer Science and Software Engineeringen
dc.rights.urihttps://hdl.handle.net/10092/17651en
dc.subject.marsdenFields of Research::280000 Information, Computing and Communication Sciences::280400 Computation Theory and Mathematics::280499 Computation theory and mathematics not elsewhere classifieden
dc.titleA Semantic Characterisation for Faults in Replicated Systemsen
dc.typeReports
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
12619146_Krishnan.pdf
Size:
188.44 KB
Format:
Adobe Portable Document Format
Download
Collections
Engineering: Reports