The following pages link to (Q4493900):
Displayed 4 items.
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)