Proof rules for fault tolerant distributed programs

DOI10.1016/0167-6423(87)90003-7zbMath0608.68016OpenAlexW2000257907MaRDI QIDQ1085970

Abha Moitra, Mathai Joseph, N. Soundararajan

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/6482

zbMATH Keywords

distributed systemproof systemHoare's CSPfault tolerant propertieshardware failuresprocessing nodes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

A trace-based compositional proof theory for fault tolerant distributed systems ⋮ Transformation of programs for fault-tolerance

This page was built for publication: Proof rules for fault tolerant distributed programs