General refinement. II: Flexible refinement

DOI10.1016/J.ENTCS.2008.06.014zbMATH Open1283.68255OpenAlexW1993418536WikidataQ59651692 ScholiaQ59651692MaRDI QIDQ5403471FDOQ5403471

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vertical implementation
• Action refinement.
• General refinement. I: Interfaces, determinism and special refinement
• 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
• Title not available (Why is that?)
• 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)