Hostname: page-component-76fb5796d-9pm4c Total loading time: 0 Render date: 2024-04-26T22:46:06.289Z 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

Abstract

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.

Type
Research Article
Copyright
2000 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)