Synchronized parallel composition of event systems in B

DOI10.1007/3-540-45648-1_23MaRDI QIDQ4472200zbMATH OpenFDO

Authors Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Publication date 3 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720436.htm

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

• The Composition of Event-B Models
• Chunks: Component Verification in CSP ∥ B
• Reactive system refinement of distributed systems in B
• Parallel hardware design in B
• A compositional specification theory for component behaviours

Cited in

(6)

• How to verify and exploit a refinement of component-based systems
• The Composition of Event-B Models
• Composition of Use Cases Using Synchronization and Model Checking
• Parallel hardware design in B
• Property-preserving parallel decomposition
• Chunks: Component Verification in CSP ∥ B

Describes a project that uses

Uses Software

• csp2B

This page was built for publication: Synchronized parallel composition of event systems in B

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