The following pages link to (Q3347278):
Displaying 3 items.
- Semantic models of a timed distributed dataspace architecture (Q1770360) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
