Abstract | ||
---|---|---|
We introduce a new category of higher-dimensional automata in which the morphisms are functional homotopy simulations, i.e. functional simulations up to concurrency of independent events. For this, we use unfoldings of higher-dimensional automata into higher-dimensional trees. Using a notion of open maps in this category, we define homotopy bisimilarity. We show that homotopy bisimilarity is equivalent to a straight-forward generalization of standard bisimilarity to higher dimensions, and that it is finer than split bisimilarity and incomparable with history-preserving bisimilarity. |
Year | Venue | Field |
---|---|---|
2014 | CoRR | Discrete mathematics,Concurrency,Automaton,Homotopy,Independence (probability theory),Morphism,Mathematics |
DocType | Volume | Citations |
Journal | abs/1409.5865 | 1 |
PageRank | References | Authors |
0.36 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Uli Fahrenberg | 1 | 1 | 1.04 |
Axel Legay | 2 | 19 | 6.38 |