Deadlocks and dihomotopy in mutual exclusion models
type: Item
instance of: scholarly article
title: Deadlocks and dihomotopy in mutual exclusion models
zbMATH Open document ID: 1110.68089
published in: Theoretical Computer Science
publication date: 2006-12-07T00:00:00Z
review text: Dihomotopy, a form of homotopy theory in which the direction along the path is taken into account, allows one to model the concepts of unsafe and forbidden regions in the discussion of concurrent processes. Dihomotopic paths represent execution traces that are equivalent. These models are referred to as higher-dimensional automata. The trace of an \(n\)-process computation can be seen as lying in an \(n\)-cube. This paper describes how one can obtain results on the essentially differing execution traces (that is to say not dihomotopic) by considering suitable projections of the configuration space onto lower-dimensional faces of the cube.
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 55P99
zbMATH DE Number: 5079015
zbMATH Keywords: dihomotopy
zbMATH Keywords: mutual exclusion
zbMATH Keywords: deadlock
zbMATH Keywords: higher-dimensional automata
author: Martin Raussen
reviewed by: Jonathan Hodgson
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.052
OpenAlex ID: W2100433972
cites work: The geometry of semaphore programs
cites work: Dicovering spaces
cites work: Dipaths and dihomotopies in a cubical complex
cites work: Components of the fundamental category
cites work: Algebraic topology and concurrency
cites work: Infinitely running concurrent processes with loops from a geometric viewpoint
cites work: Geometry and concurrency: a user's guide
cites work: Some geometric perspectives in concurrency theory
cites work: Q3044313
cites work: Q4453908
cites work: Q4318989
cites work: On the classification of dipaths in geometric models for concurrency
cites work: State spaces and dipaths up to dihomotopy
DOI: 10.1016/J.TCS.2006.07.052
description: scientific article; zbMATH DE number 5079015