TY  - RPRT
TI  - The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
AU  - Filippo Bonchi
AU  - Ana Sokolova
AU  - Valeria Vignudelli
PY  - 2022
DO  - 10.46298/lmcs-18(2:21)2022
UR  - https://arxiv.org/abs/1808.00923
ID  - 1808.00923
ER  -