Steps and traces

Jurriaan Rot*, Bart Jacobs, Paul Levy

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

184 Downloads (Pure)

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: (i) coalgebraic,draftrules trace semantics is naturally presented in terms of corecursive algebras, and (ii) 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.

Original languageEnglish
Pages (from-to)1482–1525
Number of pages44
JournalJournal of Logic and Computation
Volume31
Issue number6
Early online date23 Aug 2021
DOIs
Publication statusPublished - Sept 2021

Bibliographical note

Publisher Copyright:
© 2021 The Author(s) 2021. Published by Oxford University Press.

Keywords

  • Coalgebra
  • corecursive algebras
  • trace semantics

Fingerprint

Dive into the research topics of 'Steps and traces'. Together they form a unique fingerprint.

Cite this