General Refinement, Part Two: Flexible Refinement

DOI10.1016/J.ENTCS.2008.06.014zbMath1283.68255OpenAlexW1993418536WikidataQ59651692 ScholiaQ59651692MaRDI QIDQ5403471

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)

Related Items (4)

Building Specifications in the Event-B Institution ⋮ Guarded Operations, Refinement and Simulation ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ Generic Tools via General Refinement

Cites Work

• Vertical implementation
• General Refinement, Part One: Interfaces, Determinism and Special Refinement
• ZB 2005: Formal Specification and Development in Z and B
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: General Refinement, Part Two: Flexible Refinement