Concurrency and Probability: Removing Confusion, Compositionally (Logical Methods in Computer Science, 2019)