A semantic characterization for faults in replicated systems
type: Item
instance of: scholarly article
title: A semantic characterization for faults in replicated systems
zbMATH Open document ID: 0812.68091
DOI: 10.1016/0304-3975(94)90168-6
author: Padmanabhan Krishnan
published in: Theoretical Computer Science
publication date: 1994-07-21T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 609566
zbMATH Keywords: replicated systems
zbMATH Keywords: replication operator
reviewed by: Fevzi Belli
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90168-6
OpenAlex ID: W1982140689
cites work: Adding action refinement to a finite process algebra
cites work: Q4733426
cites work: Q3792236
cites work: The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
cites work: Q3777424
cites work: A context dependent equivalence between processes
cites work: Q3992568
cites work: Q4733430
cites work: Q3907077
cites work: Q3657409
cites work: Q3694687
Recommended article: Q2766632
Recommended article: The customizable fault/error model for dependable distributed systems.
Recommended article: Q4335963
Recommended article: Relational characterizations of system fault tolerance
Recommended article: Synthesis of Fault-Tolerant Distributed Systems
Recommended article: Diversity and fault avoidance for dependable replication systems
Recommended article: Fault Ascription in Concurrent Systems
Recommended article: Q3742701
description: scientific article; zbMATH DE number 609566