Mathematical techniques for analyzing concurrent and probabilistic systems by Franck van Breugel | Menrva Books | MenrvaBooks