Title | ||
---|---|---|
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. |
Abstract | ||
---|---|---|
We propose an abstract framework for modelling state-based systems with internal behaviour 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 and non-deterministic transducers. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.tcs.2015.03.024 | Theoretical Computer Science |
Keywords | DocType | Volume |
Coalgebras on Kleisli categories,Parametrized fixpoint operator,Trace semantics,Epsilon transitions,Mazurkiewicz traces,Non-deterministic transducers | Journal | 604 |
ISSN | Citations | PageRank |
0304-3975 | 1 | 0.35 |
References | Authors | |
3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Filippo Bonchi | 1 | 579 | 47.04 |
Stefan Milius | 2 | 511 | 57.28 |
Alexandra Silva | 3 | 96 | 6.03 |
Fabio Zanasi | 4 | 110 | 13.89 |