Fusion and simultaneous execution in the refinement calculus

DOI10.1007/S002360050148MaRDI QIDQ1284687zbMATH OpenOpenAlexFDO

Authors K. Appert, Ralph-Johan Back, Michael J. Butler

Publication date 13 December 1999

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050148

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• The least conjunctive refinement and promotion in the refinement calculus
• A calculus of refinements for program derivations
• Refinement calculus. A systematic introduction
• scientific article; zbMATH DE number 1512629

Cited in

(2)

• The Composition of Event-B Models
• Concurrent constraints in the fusion calculus. (Extended abstract)

This page was built for publication: Fusion and simultaneous execution in the refinement calculus

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