Pages that link to "Item:Q3763578"
From MaRDI portal
The following pages link to The geometry of semaphore programs (Q3763578):
Displaying 6 items.
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Unique decomposition of homogeneous languages and application to isothetic regions (Q4629267) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- Streams, d-Spaces and Their Fundamental Categories (Q5179023) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)
