Steps and Traces

Bart Jacobs; Paul Levy; Jurriaan Rot

doi:10.1007/978-3-030-00389-0

Steps and Traces

Bart Jacobs, Paul Levy, Jurriaan Rot

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

235 Downloads (Pure)

Abstract

In the theory of coalgebras, trace semantics can be deﬁned 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 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
Publisher	Springer
Pages	122-143
Number of pages	22
ISBN (Electronic)	978-3-030-00389-0
ISBN (Print)	978-3-030-00388-3
DOIs	https://doi.org/10.1007/978-3-030-00389-0
Publication status	Published - 20 Sept 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/Territory	Greece
City	Thessaloniki
Period	14/04/18 → 15/04/18

Access to Document

10.1007/978-3-030-00389-0

Jacobs_et_al_Steps_and_Traces_ecture_Notes_in_Computer_Science_2018
This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is at doi.org/10.1007/978-3-030-00389-0
Accepted author manuscript, 398 KBLicence: None: All rights reserved

Cite this

Jacobs, B., Levy, P., & Rot, J. (2018). Steps and Traces. In C. Cirstea (Ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers (pp. 122-143). (Lecture Notes in Computer Science ; Vol. 11202). Springer. https://doi.org/10.1007/978-3-030-00389-0

@inproceedings{700c9ff512ed46cfa6ac2b936e0d7773,

title = "Steps and Traces",

abstract = "In the theory of coalgebras, trace semantics can be deﬁned 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.",

author = "Bart Jacobs and Paul Levy and Jurriaan Rot",

year = "2018",

month = sep,

day = "20",

doi = "10.1007/978-3-030-00389-0",

language = "English",

isbn = "978-3-030-00388-3",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "122--143",

editor = "Corina Cirstea",

booktitle = "Coalgebraic Methods in Computer Science",

note = "14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018) ; Conference date: 14-04-2018 Through 15-04-2018",

}

Jacobs, B, Levy, P & Rot, J 2018, Steps and Traces. in C Cirstea (ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers. Lecture Notes in Computer Science , vol. 11202, Springer, pp. 122-143, 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), Thessaloniki, Greece, 14/04/18. https://doi.org/10.1007/978-3-030-00389-0

Steps and Traces. / Jacobs, Bart; Levy, Paul; Rot, Jurriaan.
Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers. ed. / Corina Cirstea. Springer, 2018. p. 122-143 (Lecture Notes in Computer Science ; Vol. 11202).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Steps and Traces

AU - Jacobs, Bart

AU - Levy, Paul

AU - Rot, Jurriaan

PY - 2018/9/20

Y1 - 2018/9/20

N2 - In the theory of coalgebras, trace semantics can be deﬁned 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.

AB - In the theory of coalgebras, trace semantics can be deﬁned 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.

U2 - 10.1007/978-3-030-00389-0

DO - 10.1007/978-3-030-00389-0

M3 - Conference contribution

SN - 978-3-030-00388-3

T3 - Lecture Notes in Computer Science

SP - 122

EP - 143

BT - Coalgebraic Methods in Computer Science

A2 - Cirstea, Corina

PB - Springer

T2 - 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)

Y2 - 14 April 2018 through 15 April 2018

ER -

Steps and Traces

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this