Text this: Process algebra and probabilistic methods :