Pages that link to "Item:Q1274446"
From MaRDI portal
The following pages link to The timed failures -- Stability model for CSP (Q1274446):
Displayed 13 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)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Timed CSP = Closed Timed Automata1 (Q2842610) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- (Q4989406) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)