Procedures and atomicity refinement

DOI10.1016/S0020-0190(96)00142-1MaRDI QIDQ1350927zbMATH OpenWikidataFDO

Authors K. Sere

Publication date 27 February 1997

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

zbMATH Keywords

Distributed systemsProgram derivationProgram specification

Mathematics Subject Classification ID

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

Recommendations

• Data refinement of remote procedures
• scientific article; zbMATH DE number 1546500
• Publication:4734781
• Stepwise refinement of parallel algorithms
• scientific article; zbMATH DE number 1751888

Cites work

• scientific article; zbMATH DE number 3683035 (Why is no real title available?)
• scientific article; zbMATH DE number 3694563 (Why is no real title available?)
• A theoretical basis for stepwise refinement and the programming calculus
• Programming as a Discipline of Mathematical Nature
• Reduction
• Specifying the Caltech asynchronous microprocessor
• Superposition refinement of reactive systems
• The specification statement

This page was built for publication: Procedures and atomicity refinement

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