Doberkat, Ernst-Erich2004-12-062004-12-0620042004-08-31http://hdl.handle.net/2003/273510.17877/DE290R-14946enUniversität Dortmund004Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monadworking paper