Steps and Traces
Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language | English |
---|---|
Title of host publication | Coalgebraic Methods in Computer Science |
Subtitle of host publication | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers |
Editors | Corina Cirstea |
Publication status | Published - 20 Sep 2018 |
Event | 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018) - Thessaloniki, Greece Duration: 14 Apr 2018 → 15 Apr 2018 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 11202 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018) |
---|---|
Country | Greece |
City | Thessaloniki |
Period | 14/04/18 → 15/04/18 |