32 citations · 33 across the 3 of their papers we have counts for
1 paper · 1 filter
Thomas Kahl
We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which homeomorphic abstraction and trace equivalent abstraction…