Connectivity of spaces of directed paths in geometric models for concurrent computation

Martin Raussen

Higher Dimensional Automata (HDA) are higher dimensional relatives to transition systems in concurrency theory taking into account to which degree various actions commute. Mathemat…