Responsiveness of interoperating components
From MaRDI portal
Publication:1764435
DOI10.1007/s00165-004-0050-9zbMath1061.68107OpenAlexW2110699786MaRDI QIDQ1764435
J. E. Sinclair, J. N. Reed, 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
Related Items
Compositional Modelling and Reasoning in an Institution for Processes and Data ⋮ Responsiveness and stable revivals ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Formalisations and applications of BPMN ⋮ Property specifications for workflow modelling ⋮ The Stable Revivals Model in CSP-Prover ⋮ A Relative Timed Semantics for BPMN ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ On CSP Refinement Tests That Run Multiple Copies of a Process