ByNobleID
    History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps | NobleID