Steps and Traces

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

External organisations

  • Radboud Universiteit, Nijmegen, The Netherlands

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.

Details

Original languageEnglish
Title of host publicationProceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
Publication statusPublished - 2018
Event14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018) - Thessaloniki, Greece
Duration: 14 Apr 201815 Apr 2018

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
CountryGreece
CityThessaloniki
Period14/04/1815/04/18