Partial Higher-Dimensional Automata

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 propose a generalization of higher-dimensional automata, partial HDA. Unlike HDA, and also extending event structures and Petri nets, partial HDA can model phenomena such as priorities or the disabling of an event by another event. Using open maps and unfoldings, we introduce a natural notion of (higher-dimensional) bisimilarity for partial HDA and relate it to history-preserving bisimilarity and split bisimilarity. Higher-dimensional bisimilarity has a game characterization and is decidable in polynomial time.
Type de document :
Communication dans un congrès
6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands. 35, 2015, LIPIcs. 〈http://coalg.org/calco15/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01237643
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 3 décembre 2015 - 15:26:06
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : samedi 29 avril 2017 - 04:54:14

Fichier

main-calcofinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01237643, version 1

Citation

Uli Fahrenberg, Axel Legay. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands. 35, 2015, LIPIcs. 〈http://coalg.org/calco15/〉. 〈hal-01237643〉

Partager

Métriques

Consultations de la notice

294

Téléchargements de fichiers

52