On the expressiveness of refinement settings

DOI10.1007/978-3-642-11623-0_16MaRDI QIDQ3400926zbMATH OpenOpenAlexFDO

Authors David de Frutos Escrig, Gerald Lüttgen, Heiko Schmidt, Harald Fecher

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11623-0_16

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refinement is complete for implementations
• On Modal Refinement and Consistency
• Refinement checking on parametric modal transition systems
• Topological analysis of refinement
• A domain equation for refinement of partial systems

Cited in

(4)

• Refinement is complete for implementations
• Refinement by Interpretation in a General Setting
• Contexts, refinement and determinism
• Understanding, Explaining, and Deriving Refinement

This page was built for publication: On the expressiveness of refinement settings

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