TY  - RPRT
TI  - History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
AU  - Uli Fahrenberg
AU  - Axel Legay
PY  - 2013
UR  - https://arxiv.org/abs/1209.4927
ID  - 1209.4927
ER  -