Uli Fahrenberg, Axel Legay. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.
MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.165 - 178,
⟨10.1016/j.entcs.2013.09.012⟩.
⟨hal-01087917⟩