Weak equivalence of higher-dimensional automata

Thomas Kahl. Weak equivalence of higher-dimensional automata. Discrete Mathematics & Theoretical Computer Science, 23(1), 2021. [doi]

Abstract

Abstract is missing.