A singleton failures semantics for communicating sequential processes

DOI10.1007/S00165-005-0081-XMaRDI QIDQ2432234zbMATH OpenOpenAlexFDO

Authors Christie Bolton, Jim Davies

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0081-x

zbMATH Keywords

CSPdata typesObject-Zrefinementsemanticssimulation rulesZ

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 4062561
• scientific article; zbMATH DE number 3928330
• Axiomatic semantics of communicating sequential processes
• scientific article; zbMATH DE number 4050949

Cited in

(18)

• Relational concurrent refinement. II: Internal operations and outputs
• Reducing complex CSP models to traces via priority
• A hierarchy of failures-based models: theory and application
• Temporal-logic property preservation under Z refinement
• Model transformations across views
• Generic tools via general refinement
• Relational concurrent refinement: automata
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 4119655 (Why is no real title available?)
• More relational concurrent refinement: traces and partial relations
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism
• Introducing extra operations in refinement
• Relational concurrent refinement. III: Traces, partial relations and automata
• Verifying data refinements using a model checker
• On using data abstractions for model checking refinements
• Data refinement and singleton failures refinement are not equivalent

This page was built for publication: A singleton failures semantics for communicating sequential processes

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