TY - RPRT TI - Weak equivalence of higher-dimensional automata AU - Thomas Kahl PY - 2021 DO - 10.46298/dmtcs.5884 UR - https://arxiv.org/abs/1910.12787 ID - 1910.12787 ER -