History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps

Uli Fahrenberg 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We show that history-preserving bisimilarity for higher-dimensional automata has a simple characterization directly in terms of higher-dimensional transitions. This implies that it is decidable for finite higher-dimensional automata. To arrive at our characterization, we apply the open-maps framework of Joyal, Nielsen and Winskel in the category of unfoldings of precubical sets.
Keywords : concurrency higher-dimensional automaton history-preserving bisimilarity homotopy unfolding
Type de document :
Communication dans un congrès
MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. Elsevier, 298, pp.165 - 178, 2013, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2013.09.012〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01087917
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:41:46
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:17:54

Fichier

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

Identifiants

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Uli Fahrenberg, Axel Legay. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. Elsevier, 298, pp.165 - 178, 2013, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2013.09.012〉. 〈hal-01087917〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

430

Téléchargements de fichiers

65

Contact


archive-ouverte@inria.fr