Procedures and atomicity refinement

DOI10.1016/S0020-0190(96)00142-1zbMath0875.68275WikidataQ126531583 ScholiaQ126531583MaRDI QIDQ1350927

Kaisa Sere

Publication date: 27 February 1997

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

zbMATH Keywords

Distributed systemsProgram specificationProgram derivation

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of software (68N99)

Cites Work

• A theoretical basis for stepwise refinement and the programming calculus
• Specifying the Caltech asynchronous microprocessor
• Superposition refinement of reactive systems
• Reduction
• The specification statement
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item

This page was built for publication: Procedures and atomicity refinement