Pages that link to "Item:Q5285988"
From MaRDI portal
The following pages link to An Alternative Order for the Failures Model (Q5285988):
Displaying 12 items.
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- A CSP model with flexible parallel termination semantics (Q1037248) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- A hierarchy of failures-based models (Q2847409) (← links)
- (Q5028431) (← links)
- (Q5111623) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709371) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709378) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)
- Unbounded nondeterminism in CSP (Q5887514) (← links)
- Sequential algorithms for unbounded nondeterminism (Q5971404) (← links)