A Semantic Characterisation for Faults in Replicated Systems
Type of content
Reports
UC permalink
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
Department of Computer Science, University of Canterbury
University of Canterbury. Computer Science and Software Engineering
University of Canterbury. Computer Science and Software Engineering
Journal Title
Journal ISSN
Volume Title
Language
Date
1993
Authors
Krishnan, P.
Abstract
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 a hierarchy of faulty processes and fault tolerant processes. We then show how a similar ordering on modal- formulae can characterise the fault preorders.
Description
TR-COSC 11/93
Citation
Krishnan, P. (1993) A Semantic Characterisation for Faults in Replicated Systems..