How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure

Bonchi F, Milius S, Silva A, Zanasi F (2014)

Publication Type: Conference contribution

Publication year: 2014

Publisher: Springer

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

City/Town: Berlin/Heidelberg

Book Volume: 8446

Pages Range: 53-74

Conference Proceedings Title: Proc. Coalgebraic Methods in Computer Science (CMCS'14)

Event location: Grenoble, France FR

ISBN: 978-3-662-44124-4

URI: http://www8.cs.fau.de/publications

DOI: 10.1007/978-3-662-44124-4_4

Abstract

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.

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

École normale supérieure de Lyon (ENS) FR France (FR) University College London (UCL) GB United Kingdom (GB)

How to cite

APA:

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 Proc. Coalgebraic Methods in Computer Science (CMCS'14) (pp. 53-74). Grenoble, France, FR: Berlin/Heidelberg: Springer.

MLA:

Bonchi, Filippo, et al. "How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure." Proceedings of the The 12th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France Berlin/Heidelberg: Springer, 2014. 53-74.

BibTeX: Download