Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure

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

Publication Type: Journal article

Publication year: 2015

Journal

Theoretical Computer Science Elsevier

Publisher: Elsevier

Book Volume: 604

Pages Range: 102-126

Journal Issue: 604

DOI: 10.1016/j.tcs.2015.03.024

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.

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. (2015). Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure. Theoretical Computer Science, 604(604), 102-126. https://dx.doi.org/10.1016/j.tcs.2015.03.024

MLA:

Bonchi, Filippo, et al. "Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure." Theoretical Computer Science 604.604 (2015): 102-126.

BibTeX: Download