RETRACTED: Semantic Domains for Combining Probability and Non-Determinism

This article has been retracted at the request of the Editor-in-Chief and Author. Please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy).Reason: There were errors in the processing of the original files that caused the numbering of sections, subsections, etc., to be wrong, and that also impacted the numbering of Definitions, Theorems, etc., throughout the monograph. There was also an error in the proof of Lemma 4.30, pointed out to the authors by Jean Goubault-Larrecq; this has now been corrected.A corrected version of the manuscript will be published as Volume 222 of Electronic Notes in Theoretical Computer Science