Pages that link to "Item:Q3763578"
From MaRDI portal
The following pages link to The geometry of semaphore programs (Q3763578):
Displaying 9 items.
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- From geometric semantics to asynchronous computability (Q1664156) (← links)
- A ``geometric'' view of the dynamics of trajectories of computer programs (Q1813776) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- The geometry of timed PV programs (Q2843710) (← 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)