How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure
- Citation:
- Silva A, Bonchi F, Milius S, Zanasi F. 2014. How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS -55th Annual Mathematics Conference. 8446
Date Presented:
OctoberAbstract:
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.
Citation Key:
2017DOI:
10.1007/978-3-662-44124-4_4
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.