Steps and Traces - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Steps and Traces

Résumé

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.
Fichier principal
Vignette du fichier
473364_1_En_8_Chapter.pdf (398.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02044644 , version 1 (21-02-2019)

Licence

Identifiants

Citer

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⟩
58 Consultations
73 Téléchargements

Altmetric

Partager

More