Pages that link to "Item:Q1764435"
From MaRDI portal
The following pages link to Responsiveness of interoperating components (Q1764435):
Displaying 11 items.
- Formalisations and applications of BPMN (Q541678) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- On CSP refinement tests that run multiple copies of a process (Q2810978) (← links)
- Machine-verifiable responsiveness (Q2863863) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- The Stable Revivals Model in CSP-Prover (Q5178981) (← links)
- A Relative Timed Semantics for BPMN (Q5179205) (← links)