Pages that link to "Item:Q854184"
From MaRDI portal
The following pages link to Deadlocks and dihomotopy in mutual exclusion models (Q854184):
Displaying 9 items.
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Enriched categories and models for spaces of evolving states (Q949618) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Nondominated \(k\)-coteries for multiple mutual exclusion (Q1329419) (← links)
- Compatibility and commutativity of lock modes (Q3719812) (← links)
- Termination, deadlock, and divergence (Q4302821) (← links)
- On deadlocks of exclusive AND-requests for resources (Q5137008) (← links)
- Cut-off theorems for the \textit{PV}-model (Q6108429) (← links)