Philippe Darondeau
-
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Interactive Markov chains: and the quest for quantified quality