Responsiveness of interoperating components

DOI10.1007/S00165-004-0050-9MaRDI QIDQ1764435zbMATH OpenOpenAlexFDO

Authors J. N. Reed, J. E. Sinclair, A. W. Roscoe

Publication date 24 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:11d503b9-5bb4-4ce8-8fd2-f4df3890cda5

zbMATH Keywords

CSPRefinementDeadlockComponent-based systemsResponsiveness

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Compatibility properties of synchronously and asynchronously communicating components
• Responsiveness in process calculi
• A Coordination Model for Interactive Components
• scientific article; zbMATH DE number 1979561
• Compatibility in a multi-component environment
• scientific article; zbMATH DE number 2087856

Cited in

(12)

• Responsiveness and stable revivals
• Formalisations and applications of BPMN
• Property specifications for workflow modelling
• Refinement-preserving plug-in components
• Revivals, stuckness and the hierarchy of CSP models
• A relative timed semantics for BPMN
• On CSP refinement tests that run multiple copies of a process
• The stable revivals model in CSP-Prover
• Compositional modelling and reasoning in an institution for processes and data
• Responsiveness in process calculi
• Machine-verifiable responsiveness
• On the limits of refinement-testing for model-checking CSP

This page was built for publication: Responsiveness of interoperating components

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