Sciweavers


2
posts
with
3027
views
967profile views Browse  My Posts »
Mateus de Oliveira Oliveira
CALCO
2009
Springer
139views Mathematics» more  CALCO 2009»
14 years 6 months ago
Traces, Executions and Schedulers, Coalgebraically
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 ex...
Bart Jacobs, Ana Sokolova