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. © 2014 IFIP International Federation for Information Processing.
CITATION STYLE
Bonchi, F., Milius, S., Silva, A., & Zanasi, F. (2014). How to kill epsilons with a dagger: A coalgebraic take on systems with algebraic label structure. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8446 LNCS, pp. 53–74). Springer Verlag. https://doi.org/10.1007/978-3-662-44124-4_4
Mendeley helps you to discover research relevant for your work.