A semantic characterization for faults in replicated systems (Q1330427): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1742377 |
||
Property / reviewed by | |||
Property / reviewed by: Fevzi Belli / rank | |||
Revision as of 08:10, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A semantic characterization for faults in replicated systems |
scientific article |
Statements
A semantic characterization for faults in replicated systems (English)
0 references
21 July 1994
0 references
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.
0 references
replicated systems
0 references
replication operator
0 references