Fusion and simultaneous execution in the refinement calculus

DOI10.1007/S002360050148zbMath0927.68012OpenAlexW2072413276MaRDI QIDQ1284687

K. Appert

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)

Related Items (1)

The Composition of Event-B Models

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