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〉
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
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〉
