Pages that link to "Item:Q2847409"
From MaRDI portal
The following pages link to A hierarchy of failures-based models (Q2847409):
Displaying 7 items.
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- On exchangeable, causal and cascading failures (Q1872607) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- On failure modeling (Q3721646) (← links)
- A Simple, Flexible Failure Model (Q4865261) (← links)