General refinement. II: Flexible refinement

DOI10.1016/J.ENTCS.2008.06.014MaRDI QIDQ5403471zbMATH OpenOpenAlexWikidataFDO

Authors Steve Reeves, David Streader

Publication date 26 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.06.014

zbMATH Keywords

Galois connectiongeneral refinementvertical refinement

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

• General refinement. I: Interfaces, determinism and special refinement
• Relational concurrent refinement
• Process simulation and refinement
• Unifying concurrent and relational refinement
• Refinement

Cites work

• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1289305 (Why is no real title available?)
• Action refinement.
• General refinement. I: Interfaces, determinism and special refinement
• Vertical implementation
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(11)

• Guarded operations, refinement and simulation
• Contexts, refinement and determinism
• Computer Science Logic
• Stabilization-preserving atomicity refinement
• General refinement. I: Interfaces, determinism and special refinement
• scientific article; zbMATH DE number 176132 (Why is no real title available?)
• How to brew-up a refinement ordering
• Generic tools via general refinement
• Building Specifications in the Event-B Institution
• Information flow in systems with schedulers. II: Refinement
• Refinement by Interpretation in a General Setting

This page was built for publication: General refinement. II: Flexible refinement

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