在高维自动机中严格化和驯服有向路径
摘要：定向路径被一些作者用于描述程序的并发执行。适当状态空间中的定向路径空间包含了所有可能的合法调度执行。有趣的是，调研指定调度与“良好”特性相关的执行空间是否会得到不同的拓扑特性。本文表明这并非如此，即可以在不造成任何伤害的情况下使用良好的调度。 本文的一些结果之前已经被Ziemianski获得。我们通过使用代数拓扑学的基本结果（特别是神经引理）的简化证明方法，试图使其对广大读者更易理解。
作者：Martin Raussen
论文ID：2006.05797
分类：Algebraic Topology
分类简称：math.AT
提交时间：2023-06-22