Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
From MaRDI portal
Publication:3605463
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)
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)