Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Prakash Panangaden. Mathematical techniques for analyzing concurrent and probabilistic systems. Volume 23 of CRM monograph series, American Mathematical Society, 2004. [doi]
Abstract is missing.