Topological abstraction of higher-dimensional automata

Thomas Kahl. Topological abstraction of higher-dimensional automata. Theoretical Computer Science, 631:97-117, 2016. [doi]

Abstract

Abstract is missing.