On the classification of dipaths in geometric models for concurrency
On the classification of dipaths in geometric models for concurrency
复制标题
并发几何模型中双路径的分类
DOI：
10.1017/s0960129500003145
复制
发表时间：
2000
影响因子：
0.5
通讯作者：
M. Raussen
中科院分区：
文献类型：
--
作者：
M. Raussen
本文着重于确定的双同伦类的三次复合体的双路径，代表本质上不同的计算在一个给定的并发程序，由于不同的时间表。一些新的概念必须发展，例如，依赖域（定义2.4），这是借用相对论（彭罗斯1972）。然而，事实证明，Fajstrup等人（1998 a; 1998 b）中描述的确定死锁和不安全区域的算法可以修改并应用于进行必要的计算工作。
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.