A semantic characterization for faults in replicated systems
From MaRDI portal
Publication:1330427
DOI10.1016/0304-3975(94)90168-6zbMath0812.68091OpenAlexW1982140689MaRDI QIDQ1330427
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
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
Cites Work