A semantic characterization for faults in replicated systems

DOI10.1016/0304-3975(94)90168-6zbMath0812.68091OpenAlexW1982140689MaRDI QIDQ1330427

Padmanabhan Krishnan

Publication date: 21 July 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90168-6

zbMATH Keywords

replicated systemsreplication operator

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Diversity and adjudication, Unnamed Item

Cites Work

• A context dependent equivalence between processes
• Adding action refinement to a finite process algebra
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item