Steps and traces

Jurriaan Rot, Bart Jacobs, Paul Levy

Research output: Contribution to journalArticlepeer-review

20 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: 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.
Original languageEnglish
Pages (from-to)1482–1525
JournalJournal of Logic and Computation
Volume31
Issue number6
Early online date23 Aug 2021
DOIs
Publication statusPublished - Sep 2021

Keywords

  • Coalgebra
  • trace semantics
  • corecursive algebras

Fingerprint

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

Cite this