How to Kill Epsilons with a Dagger

Abstract : We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or ϵ -transitions. Our approach employs monads with a parametrized fixpoint operator to give a semantics to those systems and implement a sound procedure of abstraction of the internal transitions, whose labels are seen as the unit of a free monoid. More broadly, our approach extends the standard coalgebraic framework for state-based systems by taking into account the algebraic structure of the labels of their transitions. This allows to consider a wide range of other examples, including Mazurkiewicz traces for concurrent systems.
Type de document :
Communication dans un congrès
Marcello M. Bonsangue. 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. Lecture Notes in Computer Science, 8446, pp.53-74, 2014, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-662-44124-4_4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01408752
Contributeur : Hal Ifip <>
Soumis le : lundi 5 décembre 2016 - 13:24:02
Dernière modification le : mardi 24 avril 2018 - 13:52:47
Document(s) archivé(s) le : lundi 20 mars 2017 - 20:03:02

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi. How to Kill Epsilons with a Dagger. Marcello M. Bonsangue. 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. Lecture Notes in Computer Science, 8446, pp.53-74, 2014, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-662-44124-4_4〉. 〈hal-01408752〉

Partager

Métriques

Consultations de la notice

264

Téléchargements de fichiers

23