Pages that link to "Item:Q1007236"
From MaRDI portal
The following pages link to Revivals, stuckness and the hierarchy of CSP models (Q1007236):
Displaying 8 items.
- Reducing complex CSP models to traces via priority (Q1744391) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Models for CSP with availability information (Q2971074) (← links)
- (Q5101352) (← links)
- The Stable Revivals Model in CSP-Prover (Q5178981) (← links)
- Process equivalence problems as energy games (Q6535628) (← links)