On the topology of concurrent systems
<|reference_start|>On the topology of concurrent systems: 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.<|reference_end|>
@article{faustino2024on,
    title={On the topology of concurrent systems},
    author={Catarina Faustino, Thomas Kahl, Rodrigo Lopes},
    journal={arXiv preprint arXiv:2404.16492},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.16492},
    primaryClass={cs.FL cs.LO math.AT}
}