TY - JOUR T1 - Languages of higher-dimensional automata JO - Mathematical Structures in Computer Science PY - 2021/05/18 AU - Fahrenberg U AU - Johansen C AU - Struth G AU - Ziemia艅ski K ED - DO - DOI: 10.1017/S0960129521000293 VL - 31 IS - 5 SP - 575 EP - 613 Y2 - 2025/06/26 ER -