An experiment with the use of predicate transformers in UNITY

DOI10.1016/0020-0190(94)00215-KMaRDI QIDQ673907zbMATH OpenFDO

Authors Rutger M. Dijkstra

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(94)00215-K

zbMATH Keywords

Parallel algorithmsProgram correctnessProof methodology

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Recommendations

• DUALITY: A simple formalism for the analysis of UNITY
• On the logic of UNITY
• scientific article; zbMATH DE number 2077135
• Data refinement of mixed specifications: A generalization of UNITY

Cites work

• A predicate transformer for progress
• DUALITY: A simple formalism for the analysis of UNITY
• scientific article; zbMATH DE number 194642 (Why is no real title available?)

Cited in

(3)

• Data refinement of mixed specifications: A generalization of UNITY
• scientific article; zbMATH DE number 2043526 (Why is no real title available?)
• Eliminating the substitution axiom from UNITY logic

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: An experiment with the use of predicate transformers in UNITY

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