The Theory of Traces for Systems with Nondeterminism and Probability.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Browse the full LICS paper archive.