More relational concurrent refinement: traces and partial relations

DOI10.1016/J.ENTCS.2008.06.012MaRDI QIDQ5403469zbMATH OpenOpenAlexFDO

Authors John Derrick, Eerke Boiten

Publication date 26 March 2014

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

zbMATH Keywords

simulationsZdata refinementprocess algebraic refinement preorders

Mathematics Subject Classification ID

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. III: Traces, partial relations and automata
• Relational concurrent refinement: automata
• Relational concurrent refinement
• Unifying concurrent and relational refinement
• Modelling Divergence in Relational Concurrent Refinement

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42469 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2086954 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• A singleton failures semantics for communicating sequential processes
• Data Refinement
• Data refinement and singleton failures refinement are not equivalent
• Extensional equivalences for transition systems
• Handbook of process algebra
• Incompleteness of relational simulations in the blocking paradigm
• Prespecification in data refinement
• Relational concurrent refinement
• Relational concurrent refinement. II: Internal operations and outputs
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Unifying concurrent and relational refinement

Cited in

(9)

• Modelling Divergence in Relational Concurrent Refinement
• Relational concurrent refinement
• Relational concurrent refinement. III: Traces, partial relations and automata
• scientific article; zbMATH DE number 35423 (Why is no real title available?)
• Relational concurrent refinement: automata
• Relational concurrent refinement. II: Internal operations and outputs
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• Unifying concurrent and relational refinement
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II

Describes a project that uses

Uses Software

• Z
• LOTOS

This page was built for publication: More relational concurrent refinement: traces and partial relations

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