Christel Baier
Univ. Mannheim, Mannheim, Germany
Domain equations for probabilistic processes
Mathematical Structures in Computer Science