Pages that link to "Item:Q1007236"
From MaRDI portal
The following pages link to Revivals, stuckness and the hierarchy of CSP models (Q1007236):
Displayed 6 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)