Pages that link to "Item:Q4507888"
From MaRDI portal
The following pages link to Geometry and concurrency: a user's guide (Q4507888):
Displaying 19 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- A geometric view of partial order reduction (Q265807) (← links)
- Deadlocks and dihomotopy in mutual exclusion models (Q854184) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← links)
- A convenient category of locally preordered spaces (Q1037410) (← links)
- The entropy of a distributed computation random number generation from memory interleaving (Q1656885) (← links)
- Higher fundamental groupoids for spaces (Q1873735) (← links)
- Absolute lax 2-categories (Q2432581) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Topological properties of event structures (Q2810963) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- (Q3429780) (← links)
- Natural Homology (Q3449474) (← links)
- The geometry of semaphore programs (Q3763578) (← links)
- (Q4453908) (← links)
- The geometry of conservative programs (Q4961721) (← links)
- Persistent homology of partially ordered spaces (Q6669850) (← links)