Hostname: page-component-7b7567c8c-2n9c9 Total loading time: 0 Render date: 2026-11-15T07:10:11.420Z Has data issue: false hasContentIssue false

On the classification of dipaths in geometric models for concurrency

Published online by Cambridge University Press:  01 August 2000

MARTIN RAUSSEN
Affiliation:
Department of Mathematical Sciences, Aalborg University, Fredrik Bajers Vej 7E, DK - 9220 Aalborg Ø. E-mail: raussen@math.auc.dk
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

This paper focusses on the determination of the dihomotopy classes of dipaths in cubical complexes, representing the essentially different computations in a given concurrent program due to different schedules. Several new notions have to be developed, for example, the domains of dependence (Definition 2.4), which are borrowed from relativity theory (Penrose 1972). However, it turns out that the algorithm determining deadlocks and unsafe regions described in Fajstrup et al. (1998a; 1998b) can be modified and applied to do the essential calculational work.

Information

Type
Research Article
Copyright
2000 Cambridge University Press