Deadlocks and dihomotopy in mutual exclusion models

DOI10.1016/j.tcs.2006.07.052zbMath1110.68089OpenAlexW2100433972MaRDI QIDQ854184

Martin Raussen

Publication date: 7 December 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.052

zbMATH Keywords

mutual exclusionhigher-dimensional automatadeadlockdihomotopy

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)

Related Items (3)

Cut-off theorems for the \textit{PV}-model ⋮ Enriched categories and models for spaces of evolving states ⋮ Simplicial models of trace spaces

Cites Work

• Dicovering spaces
• Some geometric perspectives in concurrency theory
• State spaces and dipaths up to dihomotopy
• Components of the fundamental category
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• The geometry of semaphore programs
• Geometry and concurrency: a user's guide
• On the classification of dipaths in geometric models for concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deadlocks and dihomotopy in mutual exclusion models