research
∙
03/28/2021
On symmetric higher-dimensional automata and bisimilarity
It is shown that a higher-dimensional automaton is hhp-bisimilar to the ...
share
research
∙
10/28/2019
Weak equivalence of higher-dimensional automata
This paper introduces a notion of weak equivalence for higher-dimensiona...
research
∙
01/23/2018
