Skip to Main content Skip to Navigation
Conference papers

Steps and Traces

Abstract : In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: (1) coalgebraic trace semantics is naturally presented in terms of corecursive algebras, and (2) all three approaches arise as instances of the same abstract setting. Our perspective puts the different approaches under a common roof, and allows to derive conditions under which some of them coincide.
Document type :
Conference papers
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

https://hal.inria.fr/hal-02044644
Contributor : Hal Ifip <>
Submitted on : Thursday, February 21, 2019 - 3:41:09 PM
Last modification on : Thursday, February 21, 2019 - 3:48:40 PM
Long-term archiving on: : Wednesday, May 22, 2019 - 4:49:06 PM

File

473364_1_En_8_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Bart Jacobs, Paul Levy, Jurriaan Rot. Steps and Traces. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩. ⟨hal-02044644⟩

Share

Metrics

Record views

57

Files downloads

7