Homotopy Bisimilarity for Higher-Dimensional Automata

Uli Fahrenberg 1, * Axel Legay 1
* Auteur correspondant
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.
Type de document :
Rapport
[Research Report] Inria Rennes. 2014
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087294
Contributeur : Uli Fahrenberg <>
Soumis le : mardi 25 novembre 2014 - 16:56:27
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : jeudi 26 février 2015 - 12:11:40

Fichier

1409.5865v1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01087294, version 1

Citation

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

Partager

Métriques

Consultations de la notice

392

Téléchargements de fichiers

161