  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.
