Invariance and non-determinacy

DOI10.1098/RSTA.1984.0072zbMATH Open0544.68011OpenAlexW2024274413MaRDI QIDQ3334052FDOQ3334052

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

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

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)

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
• Title not available (Why is that?)

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)