Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35293
Título: | How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structure |
Autor(es): | Bonchi, Filippo Milius, Stefan Silva, Alexandra M. Zanasi, Fabio |
Data: | 2014 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/35293 |
ISBN: | 9783662441237 |
DOI: | 10.1007/978-3-662-44124-4_4 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |