Title: Semantics of Probabilistic Processes
Subjects: Probabilities, Computer science