| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
How to Kill Epsilons with a Dagger
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.
Cited literature [23 references]
https://hal.inria.fr/hal-01408752
Contributor : Hal Ifip <>
Submitted on : Monday, December 5, 2016 - 1:24:02 PM
Last modification on : Friday, June 25, 2021 - 3:40:04 PM
Long-term archiving on: : Monday, March 20, 2017 - 8:03:02 PM
Contributor : Hal Ifip <>
Submitted on : Monday, December 5, 2016 - 1:24:02 PM
Last modification on : Friday, June 25, 2021 - 3:40:04 PM
Long-term archiving on: : Monday, March 20, 2017 - 8:03:02 PM
File
328263_1_En_4_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License