Algebraic specification and proof of a distributed recovery algorithm

DOI10.1007/BF01786251zbMath0621.68008MaRDI QIDQ1090102

Jifeng He, C. A. R. Hoare

Publication date: 1987

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

fixed pointdeterministic processCommunicating Sequential Processesproofs of correctness

Mathematics Subject Classification ID

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

Related Items (6)

A compositional framework for fault tolerance by specification transformation ⋮ A trace-based compositional proof theory for fault tolerant distributed systems ⋮ Lax naturality through enrichment ⋮ Design and verification of fault tolerant systems with CSP ⋮ Transformation of programs for fault-tolerance ⋮ Modular specification of process algebras

Cites Work

• Unnamed Item
• A Transformation System for Developing Recursive Programs
• Time, clocks, and the ordering of events in a distributed system
• Can programming be liberated from the von Neumann style?

This page was built for publication: Algebraic specification and proof of a distributed recovery algorithm