Composing specifications using communication

DOI10.1007/3-540-44880-2_5MaRDI QIDQ4436957zbMATH OpenFDO

Authors Helen Treharne, Marchia Bramble, S. A. Schneider

Publication date 4 December 2003

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/2651/26510058.htm, https://openresearch.surrey.ac.uk/view/delivery/44SUR_INST/12138720220002346/13140500230002346

zbMATH Keywords

B-MethodCombining FormalismsComposing SpecificationsConcurrencyCSP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesizing Communication Plans for Reachability and Safety Specifications
• Specifying communication in distributed information systems
• scientific article; zbMATH DE number 865194
• Communication and strong compositionality
• scientific article; zbMATH DE number 3926215
• Specification-oriented semantics for communicating processes
• A new formal method for communication protocol specification

Cited in

(6)

• CSP theorems for communicating B machines
• Composition of default specifications
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• scientific article; zbMATH DE number 2080013 (Why is no real title available?)
• scientific article; zbMATH DE number 2080015 (Why is no real title available?)
• csp2B: A practical approach to combining CSP and B

This page was built for publication: Composing specifications using communication

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