Process refinement in B

DOI10.1007/11415787_4MaRDI QIDQ5703820zbMATH OpenOpenAlexFDO

Authors Steve Dunne, Stacey Conroy

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Introducing backward refinement into B
• Process simulation and refinement
• Interpreting the B-method in the refinement calculus
• scientific article; zbMATH DE number 3943003
• Relational concurrent refinement

Cited in

(8)

• Relational concurrent refinement. II: Internal operations and outputs
• On the expressive power of CSP refinement
• Introducing backward refinement into B
• Using B refinement to analyse compensating business processes
• Interpreting the B-method in the refinement calculus
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism
• Data refinement and singleton failures refinement are not equivalent

This page was built for publication: Process refinement in B

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