Guarded operations, refinement and simulation

DOI10.1016/J.ENTCS.2009.12.024zbMATH Open1342.68097DBLPjournals/entcs/ReevesS09OpenAlexW2045637661WikidataQ59651680 ScholiaQ59651680MaRDI QIDQ2994496FDOQ2994496

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

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

zbMATH Keywords

simulationrefinementguards

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Data Refinement
• Title not available (Why is that?)
• Incompleteness of relational simulations in the blocking paradigm
• A single complete refinement rule for Z
• General refinement. II: Flexible refinement
• General refinement. I: Interfaces, determinism and special refinement

Cited In (4)

• Checking the Conformance of a Promela Design to its Formal Specification in Event-B
• Refusal simulation and interactive games
• Title not available (Why is that?)
• Partially defined computer instructions and guards

Uses Software

• Isabelle/HOL
• Z

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)