How to Kill Epsilons with a Dagger - Coalgebraic Methods in Computer Science Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
328263_1_En_4_Chapter.pdf (393.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01408752 , version 1 (05-12-2016)

Licence

Attribution

Identifiers

Cite

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi. How to Kill Epsilons with a Dagger. 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩. ⟨hal-01408752⟩
436 View
87 Download

Altmetric

Share

Gmail Facebook X LinkedIn More