Refinement-preserving plug-in components

DOI10.1016/S1571-0661(05)80059-3MaRDI QIDQ4923380zbMATH OpenOpenAlexFDO

Authors J. N. Reed, J. E. Sinclair

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(05)80059-3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1693512
• Responsiveness of interoperating components
• scientific article; zbMATH DE number 1487473
• A compositional specification theory for component behaviours
• Formal Methods for Components and Objects

Cites work

• A Theory of Communicating Sequential Processes
• Communicating Sequential Processes. The First 25 Years
• csp2B: A practical approach to combining CSP and B
• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1487743 (Why is no real title available?)
• scientific article; zbMATH DE number 1487746 (Why is no real title available?)
• scientific article; zbMATH DE number 1418468 (Why is no real title available?)
• The NRL Protocol Analyzer: An Overview
• The timed failures -- Stability model for CSP

Cited in

(1)

• scientific article; zbMATH DE number 1693512 (Why is no real title available?)

Describes a project that uses

Uses Software

• csp2B
• Z
• NRL

This page was built for publication: Refinement-preserving plug-in components

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