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

DOI10.1007/978-3-642-00255-7_8zbMATH Open1211.68255OpenAlexW1811746816MaRDI QIDQ3605463FDOQ3605463

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

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

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)

Cites Work

• Title not available (Why is that?)
• CSP theorems for communicating B machines
• Handbook of process algebra
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Compositional action system refinement

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)