Traces, executions and schedulers, coalgebraically

B.P.F. Jacobs, A. Sokolova

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)


A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from executions, by projecting away states. These traces and executions are sequences and will be called "thin". The coalgebraic approach gives rise to both "thin" and "fat" traces/executions, where in the "fat" case the structure of computations is preserved. This distinction between thin and fat will be introduced first. It is needed for a theory of schedulers in a coalgebraic setting, of which we only present the very basic definitions and results.
Original languageEnglish
Title of host publicationProceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), 7-10 September 2009, Udine, Italy
EditorsA. Kurz, M. Lenisa, A. Tarlecki
Place of PublicationBerlin
ISBN (Print)978-3-642-03740-5
Publication statusPublished - 2009

Publication series

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


Dive into the research topics of 'Traces, executions and schedulers, coalgebraically'. Together they form a unique fingerprint.

Cite this