Pages that link to "Item:Q1037248"
From MaRDI portal
The following pages link to A CSP model with flexible parallel termination semantics (Q1037248):
Displaying 7 items.
- Specifying termination in CSP (Q407510) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Of wlp and CSP (Q2994489) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
- Why ever CSP? (Q5262968) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709366) (← links)