Algebraic specification and proof of a distributed recovery algorithm

DOI10.1007/BF01786251zbMATH Open0621.68008MaRDI QIDQ1090102FDOQ1090102

Authors: Jifeng He, Tony Hoare 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 4018375
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 3936493
• Algebraic specification of reactive systems
• Much ado about nothing?

zbMATH Keywords

fixed pointCommunicating Sequential Processesdeterministic processproofs of correctness

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Time, clocks, and the ordering of events in a distributed system
• A Transformation System for Developing Recursive Programs
• Can programming be liberated from the von Neumann style?

Cited In (8)

• A computer checked algebraic verification of a distributed summation algorithm
• Second-level algorithms, superrecursivity, and recovery problem in distributed systems
• Modular specification of process algebras
• A compositional framework for fault tolerance by specification transformation
• Lax naturality through enrichment
• Design and verification of fault tolerant systems with CSP
• A trace-based compositional proof theory for fault tolerant distributed systems
• Transformation of programs for fault-tolerance

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090102)