Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron.

翻译：高维自动机，即点标记预立方体集，是用于并发系统的一种强大组合拓扑模型。本文证明，对于每个（非空）连通多面体，存在一个共享变量系统，使得建模该系统状态空间的高维自动机具有该多面体的同伦类型。