Unifying concurrent and relational refinement

MaRDI QIDQ2844822zbMATH OpenFDO

Authors John Derrick, Eerke Boiten

Publication date 19 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105804888

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relational concurrent refinement
• Relational concurrent refinement. III: Traces, partial relations and automata
• More relational concurrent refinement: traces and partial relations
• Relational concurrent refinement: automata
• Relational concurrent refinement. II: Internal operations and outputs

Cited in

(24)

• Relational concurrent refinement. II: Internal operations and outputs
• Temporal-logic property preservation under Z refinement
• Model transformations across views
• A single complete relational rule for coalgebraic refinement
• Relational concurrent refinement: automata
• A note on traces refinement and the conf relation in the unifying theories of programming
• Modelling Divergence in Relational Concurrent Refinement
• scientific article; zbMATH DE number 1303994 (Why is no real title available?)
• scientific article; zbMATH DE number 1949612 (Why is no real title available?)
• scientific article; zbMATH DE number 1951183 (Why is no real title available?)
• scientific article; zbMATH DE number 2013580 (Why is no real title available?)
• scientific article; zbMATH DE number 756075 (Why is no real title available?)
• scientific article; zbMATH DE number 2090152 (Why is no real title available?)
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• More relational concurrent refinement: traces and partial relations
• General refinement. I: Interfaces, determinism and special refinement
• General refinement. II: Flexible refinement
• Simulation refinement for concurrency verification
• Incompleteness of relational simulations in the blocking paradigm
• Refinements for open automata
• Relational concurrent refinement
• Relational concurrent refinement. III: Traces, partial relations and automata
• Verifying data refinements using a model checker
• Process simulation and refinement

This page was built for publication: Unifying concurrent and relational refinement

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