%0 Conference Proceedings
%T Steps and Traces
%+ Institute for Computing and Information Sciences [Nijmegen] (ICIS)
%+ University of Birmingham [Birmingham]
%A Jacobs, Bart
%A Levy, Paul
%A Rot, Jurriaan
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Thessaloniki, Greece
%Y Corina Cîrstea
%I Springer International Publishing
%3 Coalgebraic Methods in Computer Science
%V LNCS-11202
%P 122-143
%8 2018-04-14
%D 2018
%R 10.1007/978-3-030-00389-0_8
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02044644/document
%2 https://inria.hal.science/hal-02044644/file/473364_1_En_8_Chapter.pdf
%L hal-02044644
%U https://inria.hal.science/hal-02044644
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-11202