Mathematical techniques for analyzing concurrent and probabilistic systems / - Rutten, J. J. M. M.; Panangaden, P.; Breugel, Franck van, (American Mathematical Society,, 2004)