Skip to Main content Skip to Navigation
Reports

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

https://hal.inria.fr/hal-01087294
Contributor : Uli Fahrenberg <>
Submitted on : Tuesday, November 25, 2014 - 4:56:27 PM
Last modification on : Tuesday, June 15, 2021 - 4:16:21 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:11:40 PM

File

1409.5865v1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01087294, version 1

Citation

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

Share

Metrics

Record views

598

Files downloads

196