An experiment with the use of predicate transformers in UNITY

DOI10.1016/0020-0190(94)00215-KzbMATH Open0875.68498MaRDI QIDQ673907FDOQ673907

Authors: Rutger M. Dijkstra 

Publication date: 28 February 1997

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

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

zbMATH Keywords

Parallel algorithmsProgram correctnessProof methodology

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Cites Work

• Title not available (Why is that?)
• DUALITY: A simple formalism for the analysis of UNITY
• A predicate transformer for progress

Cited In (2)

• Title not available (Why is that?)
• Eliminating the substitution axiom from UNITY logic

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)