Guarded operations, refinement and simulation

DOI10.1016/J.ENTCS.2009.12.024MaRDI QIDQ2994496zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

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

Recommendations

• Process simulation and refinement
• Relational concurrent refinement
• A comparison of refinement orderings and their associated simulation rules
• scientific article; zbMATH DE number 1487738
• Simulation Refinement for Concurrency Verification

Cites work

• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• A single complete refinement rule for Z
• Data Refinement
• General refinement. I: Interfaces, determinism and special refinement
• General refinement. II: Flexible refinement
• Incompleteness of relational simulations in the blocking paradigm
• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(4)

• Checking the Conformance of a Promela Design to its Formal Specification in Event-B
• Refusal simulation and interactive games
• scientific article; zbMATH DE number 1254010 (Why is no real title available?)
• Partially defined computer instructions and guards

Describes a project that uses

Uses Software

• Z
• Isabelle/HOL

This page was built for publication: Guarded operations, refinement and simulation

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