高维自动机中有向路径的严格化与驯化
Strictifying and taming directed paths in Higher Dimensional Automata
AI总结：
本文证明在高维自动机中，限制为具有良好属性（如同步）的调度不会改变有向路径空间的拓扑性质，并利用神经引理给出了更简单的证明。
摘要：
多位作者已使用有向路径来描述程序的并发执行。在适当的状态空间中，有向路径的空间包含了所有可能合法调度的执行。研究若将注意力限制在具有“良好”属性（例如涉及同步）的调度上，是否会获得这样的执行空间的不同拓扑性质，是很有趣的。本文表明情况并非如此，即可以使用良好的调度而不会造成任何损害。本文中的若干结果先前已由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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
