Pages that link to "Item:Q1274446"
From MaRDI portal
The following pages link to The timed failures -- Stability model for CSP (Q1274446):
Displaying 19 items.
- Specifying termination in CSP (Q407510) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Probabilistic and prioritized models of timed CSP (Q674193) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- An operational semantics for timed CSP (Q1891147) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Timed CSP = closed timed automata (Q2842610) (← links)
- On timed models and full abstraction (Q2852365) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- An Extended cCSP with Stable Failures Semantics (Q3585047) (← links)
- (Q3761679) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- (Q4989406) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)