Factorizing fault tolerance.

DOI10.1016/S0304-3975(01)00202-XzbMath1064.68020OpenAlexW2093774352MaRDI QIDQ1853629

I. S. W. B. Prasetya, S. Doaitse Swierstra

Publication date: 21 January 2003

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00202-x

zbMATH Keywords

Fault toleranceFormal methodsCompositionality

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• UNITY

Cites Work

• An assertional correctness proof of a distributed algorithm
• Transformation of programs for fault-tolerance
• Composition of assumption-commitment specifications in a UNITY style
• Self-stabilizing systems in spite of distributed control
• Unnamed Item
• Unnamed Item

This page was built for publication: Factorizing fault tolerance.