论文标题
在较高尺寸自动机中的定位和驯服定向路径
Strictifying and taming directed paths in Higher Dimensional Automata
论文作者
论文摘要
几位作者已使用了定向路径来描述程序的并发执行。在适当的状态空间中有针对性路径的空间包含所有可能的法律时间表的执行。有趣的是，如果人们限制了对“良好”属性的调度，例如涉及同步，那么是否会获得此类执行空间的不同拓扑特性。本说明表明事实并非如此，即一个人可能会以不错的时间表进行操作而不会造成任何伤害。 Ziemianski先前已经获得了本说明中的一些结果。我们试图通过使用代数拓扑的相当基本的结果为这些发现提供了更轻松的证据，从而使他们可以为更广泛的受众访问。值得注意的是神经引理。
Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate whether one obtains different topological properties of such a space of executions if one restricts attention to schedulings with "nice" properties, eg involving synchronizations. This note shows that this is not the case, ie that one may operate with nice schedulings without inflicting any harm. Several of the results in this note had previously been obtained by Ziemianski. We attempt to make them accessible for a wider audience by giving an easier proof for these findings by an application of quite elementary results from algebraic topology; notably the nerve lemma.
