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 publicationCoalgebraic Methods in Computer Science
Subtitle of host publication14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
EditorsCorina Cirstea
Publication statusPublished - 20 Sep 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
Volume11202
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