Guarded Operations, Refinement and Simulation

DOI10.1016/j.entcs.2009.12.024zbMath1342.68097DBLPjournals/entcs/ReevesS09OpenAlexW2045637661WikidataQ59651680 ScholiaQ59651680MaRDI QIDQ2994496

Steve Reeves, David Streader

Publication date: 1 August 2016

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.2009.12.024

zbMATH Keywords

simulationrefinementguards

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Checking the Conformance of a Promela Design to its Formal Specification in Event-B

Uses Software

• Isabelle/HOL
• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Incompleteness of relational simulations in the blocking paradigm
• Isabelle/HOL. A proof assistant for higher-order logic
• A single complete refinement rule for Z
• Data Refinement
• General Refinement, Part One: Interfaces, Determinism and Special Refinement
• General Refinement, Part Two: Flexible Refinement

This page was built for publication: Guarded Operations, Refinement and Simulation