Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

DOI10.1007/978-3-642-00255-7_8MaRDI QIDQ3605463zbMATH OpenOpenAlexFDO

Authors Helen Treharne, S. A. Schneider

Publication date 24 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://epubs.surrey.ac.uk/7191/2/ifm09.pdf

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

• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Interactive tool support for CSP \(\parallel\) B consistency checking
• Implementations of the CSP Notation for Concurrent Systems
• A CSP model with flexible parallel termination semantics
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2084767
• Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems
• Chunks: Component Verification in CSP ∥ B
• Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 2013580 (Why is no real title available?)
• CSP theorems for communicating B machines
• Handbook of process algebra
• The B-Book

Cited in

(4)

• Compositional action system refinement
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Introducing extra operations in refinement
• The behavioural semantics of Event-B refinement

Describes a project that uses

Uses Software

• Rodin

This page was built for publication: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

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