TY  - RPRT
TI  - Homotopy Bisimilarity for Higher-Dimensional Automata
AU  - Uli Fahrenberg
AU  - Axel Legay
PY  - 2014
UR  - https://arxiv.org/abs/1409.5865
ID  - 1409.5865
ER  -