Current browse context:
cs.FL
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: On the topology of concurrent systems
(Submitted on 25 Apr 2024)
Abstract: 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.
Link back to: arXiv, form interface, contact.