Title | ||
---|---|---|
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. |
Abstract | ||
---|---|---|
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or $\epsilon$-transitions. Our approach employs monads with a parametrized fixpoint operator $\dagger$ 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. |
Year | Venue | DocType |
---|---|---|
2014 | CMCS | Journal |
Volume | Citations | PageRank |
abs/1402.4062 | 3 | 0.38 |
References | Authors | |
12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Filippo Bonchi | 1 | 579 | 47.04 |
Stefan Milius | 2 | 511 | 57.28 |
Alexandra Silva | 3 | 36 | 10.51 |
Fabio Zanasi | 4 | 110 | 13.89 |