@conference {2017,
	title = {How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure},
	booktitle = {CMCS -55th Annual Mathematics Conference},
	volume = {8446},
	year = {2014},
	month = {October},
	publisher = {Springer},
	organization = {Springer},
	address = {California Mathematics Council - South},
	abstract = {<p>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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/1402.4062v2.pdf},
	author = {Alexandra Silva and Filippo Bonchi and Stefan Milius and Fabio Zanasi}
}