Invariance and non-determinacy

DOI10.1098/RSTA.1984.0072MaRDI QIDQ3334052zbMATH OpenOpenAlexFDO

Authors Edsger W. Dijkstra

Publication date 1984

Published in Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.1984.0072

zbMATH Keywords

Distributed systemscorrectness of programspredicatesglobal invariantatomic actions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Invariance and necessity
• Definability and invariance
• scientific article; zbMATH DE number 1884311
• Invariance and definability, with and without equality
• Invariants
• The Invariance Modality
• Sufficiency and invariance
• Invariance and objectivity
• scientific article; zbMATH DE number 775168

Cited in

(5)

• Deaccumulation techniques for improving provability
• Reasoning about networks with many identical finite state processes
• On the mechanical derivation of loop invariants
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• scientific article; zbMATH DE number 1833254 (Why is no real title available?)

This page was built for publication: Invariance and non-determinacy

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