Text this: Semantics of Probabilistic Processes