Traces, Executions and Schedulers, Coalgebraically.

Bart Jacobs, Ana Sokolova

Browse the full CALCO paper archive.