Skip to Main content Skip to Navigation

Homotopy Bisimilarity for Higher-Dimensional Automata

Uli Fahrenberg 1, * Axel Legay 1 
* Corresponding author
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Tuesday, November 25, 2014 - 4:56:27 PM
Last modification on : Thursday, January 20, 2022 - 5:33:25 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:11:40 PM


Files produced by the author(s)


  • HAL Id : hal-01087294, version 1


Uli Fahrenberg, Axel Legay. Homotopy Bisimilarity for Higher-Dimensional Automata. [Research Report] Inria Rennes. 2014. ⟨hal-01087294⟩



Record views


Files downloads