2026-10-14T04:52:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:136 2024-03-06T10:05:51Z ddc:004 open_access

Deadlocks and Dihomotopy in Mutual Exclusion Models Raussen, Martin Mutual exclusion deadlock detection dihomotopy Parallel processes in concurrency theory can be modelled in a geometric framework. A convenient model are the Higher Dimensional Automata of V. Pratt and E. Goubault with cubical complexes as their mathematical description. More abstract models are given by (locally) partially ordered topological spaces, the directed ($d$-spaces) of M.Grandis and the flows of P. Gaucher. All models invite to use or modify ideas from algebraic topology, notably homotopy. In specific semaphore models for mutual exclusion, we have developed methods and algorithms that can detect deadlocks and unsafe regions and give information about essentially different schedules using higher dimensional ``geometric'' representations of the state space and executions (directed paths) along it. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Raussen 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04351.12 urn:nbn:de:0030-drops-1364 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.12 eng https://creativecommons.org/licenses/by/4.0/legalcode