\begin{thebibliography}{}

\bibitem[Abramsky and Jung, 1994]{AJ:domains}
Abramsky, S. and Jung, A. (1994).
\newblock Domain theory.
\newblock In Abramsky, S., Gabbay, D.~M., and Maibaum, T. S.~E., editors, {\em
  Handbook of Logic in Computer Science}, volume~3, pages 1--168. Oxford
  University Press.

\bibitem[Alvarez-Manilla, 2000]{AM:PhD}
Alvarez-Manilla, M. (2000).
\newblock {\em Measure Theoretic Results for Continuous Valuations on Partially
  Ordered Spaces}.
\newblock PhD thesis, University of London and Imperial College.

\bibitem[Alvarez-Manilla et~al., 2004]{AMJK:scs:prob}
Alvarez-Manilla, M., Jung, A., and Keimel, K. (2004).
\newblock The probabilistic powerdomain for stably compact spaces.
\newblock {\em Theoretical Computer Science}, 328(3):221--244.

\bibitem[Choquet,   54]{Choquet:capacities}
Choquet, G. (1953--54).
\newblock Theory of capacities.
\newblock {\em Annales de l'Institut Fourier}, 5:131--295.

\bibitem[Cohen, 2006]{Cohen:diplom}
Cohen, B.~S. (2006).
\newblock {\em Mathematical Foundations for Denotational Semantics for
  Combining Probability and Nondeterminism over Stably Compact Spaces}.
\newblock Diplomarbeit, TU Darmstadt \& Universit\'e Joseph Fourier-IMAG
  Grenoble.

\bibitem[Denneberg, 1994]{Denneberg:nonadd:measure}
Denneberg, D. (1994).
\newblock {\em Non-Additive Measure and Integral}.
\newblock Kluwer.

\bibitem[Edalat, 1995]{Edalat:int}
Edalat, A. (1995).
\newblock Domain theory and integration.
\newblock {\em Theoretical Computer Science}, 151:163--193.

\bibitem[Edwards, 1978]{Edwards:marginals}
Edwards, D.~A. (1978).
\newblock On the existence of probability measures with given marginals.
\newblock {\em Annales de l'Institut Fourier}, 28:53--78.

\bibitem[Escard{\'o}, 2003]{Escardo:barbados}
Escard{\'o}, M. (2003).
\newblock Topology of data types and computability concepts.
\newblock \url{http://www.cs.bham.ac.uk/~mhe/talks.html}.
\newblock Notes published as {\em Synthetic Topology of Data Types and
  Classical Spaces\/}, ENTCS 87, 2004, 150 pages,
  \url{http://www.cs.bham.ac.uk/~mhe/papers/barbados-manuscript.pdf}.

\bibitem[Escard{\'o} and Heckmann, 2002]{EH:topfun}
Escard{\'o}, M. and Heckmann, R. (2001--2002).
\newblock Topologies on spaces of continuous functions.
\newblock {\em Topology Proceedings}, 26(2):545--564.

\bibitem[Gierz et~al., 2003]{GHKLMS:contlatt}
Gierz, G., Hofmann, K.~H., Keimel, K., Lawson, J.~D., Mislove, M., and Scott,
  D.~S. (2003).
\newblock Continuous lattices and domains.
\newblock In {\em Encyclopedia of Mathematics and its Applications}, volume~93.
  Cambridge University Press.

\bibitem[Gilboa and Schmeidler, 1994]{GS:choquet:AOR}
Gilboa, I. and Schmeidler, D. (1994).
\newblock Additive representation of non-additive measures and the {C}hoquet
  integral.
\newblock {\em Annals of Operations Research}, pages 43--65.

\bibitem[Goubault{-}Larrecq, 2007a]{JGL-icalp07}
Goubault{-}Larrecq, J. (2007a).
\newblock Continuous capacities on continuous state spaces.
\newblock In Arge, L., Cachin, {\relax Ch}., Jurdzi{\'{n}}ski, T., and
  Tarlecki, A., editors, {\em {P}roceedings of the 34th {I}nternational
  {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'07)},
  pages 764--776, Wroc{\l}aw, Poland. Springer-Verlag LNCS 4596.

\bibitem[Goubault{-}Larrecq, 2007b]{Gou-csl07}
Goubault{-}Larrecq, J. (2007b).
\newblock Continuous previsions.
\newblock In Duparc, J. and Henzinger, T.~A., editors, {\em {P}roceedings of
  the 16th {A}nnual {EACSL} {C}onference on {C}omputer {S}cience {L}ogic
  ({CSL}'07)}, pages 542--557, Lausanne, Switzerland. Springer-Verlag LNCS
  4646.

\bibitem[Goubault-Larrecq, 2007]{JGL:games}
Goubault-Larrecq, J. (2007).
\newblock Une introduction aux capacit{\'e}s, aux jeux et aux pr{\'e}visions.
\newblock \url{http://www.lsv.ens-cachan.fr/~goubault/ProNobis/pp_1_6.pdf}.
\newblock Version 6, 514 pages.

\bibitem[Goubault{-}Larrecq, 2008a]{JGL:fossacs:iso}
Goubault{-}Larrecq, J. (2008a).
\newblock Prevision domains and convex powercones.
\newblock In Amadio, R., editor, {\em {P}roceedings of the 11th {I}nternational
  {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation
  {S}tructures ({FoSSaCS}'08)}, pages 318--333. Springer-Verlag LNCS 4962,
  Budapest, Hungary.

\bibitem[Goubault{-}Larrecq, 2008b]{Gou-fossacs08b}
Goubault{-}Larrecq, J. (2008b).
\newblock Simulation hemi-metrics between infinite-state stochastic games.
\newblock In Amadio, R., editor, {\em {P}roceedings of the 11th {I}nternational
  {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation
  {S}tructures ({FoSSaCS}'08)}, pages 50--65, Budapest, Hungary.
  Springer-Verlag LNCS 4962.

\bibitem[Goubault-Larrecq, 2009]{GL:chkm}
Goubault-Larrecq, J. (2009).
\newblock {C}hoquet-{K}endall-{M}atheron theorems for non-{H}ausdorff spaces.
\newblock {\em Mathematical Structures in Computer Science}.
\newblock Submitted.

\bibitem[Heckmann, 1990]{Heckmann:PhD}
Heckmann, R. (1990).
\newblock {\em Power Domain Constructions ({P}otenzbereich-{K}onstruktionen)}.
\newblock PhD thesis, Universit\"at des Saarlandes.

\bibitem[Heckmann, 1997]{Heckmann:absval}
Heckmann, R. (1997).
\newblock Abstract valuations: A novel representation of {P}lotkin power domain
  and {V}ietoris hyperspace.
\newblock {\em Electronic Notes in Theoretical Computer Science}, 6.
\newblock In Proc.\ 13th Intl.\ Symp.\ on Mathematical Foundations of
  Programming Semantics (MFPS'97 ).

\bibitem[Johnstone et~al., 1998]{JohnstonePowerTsuji-AnAxiomaticsforCate}
Johnstone, P., Power, A.~J., Tsujishita, T., Watanabe, H., and Worrell, J.
  (1998).
\newblock An axiomatics for categories of transition systems as coalgebras.
\newblock In {\em Proc.\ 13th Annual IEEE Symp. Logic in Computer Science
  (LICS'98)}, pages 207--213. IEEE Computer Society Press.

\bibitem[Jones, 1990]{Jones:proba}
Jones, C. (1990).
\newblock {\em Probabilistic Non-Determinism}.
\newblock PhD thesis, University of Edinburgh.
\newblock Technical Report ECS-LFCS-90-105.

\bibitem[Jung, 1998]{Jung:CCC}
Jung, A. (1998).
\newblock {\em Cartesian Closed Categories of Domains}.
\newblock PhD thesis, Technische Hochschule Darmstadt.

\bibitem[Jung, 2004]{Jung:scs:prob}
Jung, A. (2004).
\newblock Stably compact spaces and the probabilistic powerspace construction.
\newblock In Desharnais, J. and Panangaden, P., editors, {\em Domain-theoretic
  Methods in Probabilistic Processes}, volume~87 of {\em Electronic Lecture
  Notes in Computer Science}. Elsevier.
\newblock 15pp.

\bibitem[Keimel, 2006]{Keimel:topcones}
Keimel, K. (2006).
\newblock Topological cones: Foundations for a domain-theoretical semantics
  combining probability and nondeterminism.
\newblock {\em Electronic Notes in Theoretical Computer Science}, 155:423--443.

\bibitem[Keimel and Lawson, 2005]{KL:measureext}
Keimel, K. and Lawson, J. (2005).
\newblock Measure extension theorems for ${T_0}$-spaces.
\newblock {\em Topology and its Applications}, 149(1--3):57--83.

\bibitem[Keimel and Plotkin, 2009]{KP:predtrans:pow}
Keimel, K. and Plotkin, G. (2009).
\newblock Predicate transformers for convex powerdomains.
\newblock {\em Mathematical Structures in Computer Science}, 19:501--539.

\bibitem[Kelley, 1955]{Kelley:topology}
Kelley, J.~L. (1955).
\newblock {\em General Topology}.
\newblock Van Nostrand Reinhold Co.

\bibitem[Kirch, 1993]{Kirch:bewertung}
Kirch, O. (1993).
\newblock {\em Bereiche und Bewertungen}.
\newblock Master's thesis, Technische Hochschule Darmstadt.

\bibitem[Lawson, 1988]{Lawson:cpo}
Lawson, J. (1988).
\newblock The versatile continuous order.
\newblock In Main, M.~G., Melton, A., Mislove, M., and Schmidt, D., editors,
  {\em Proc.\ Mathematical Foundations of Programming Language Semantics
  (MFPLS'87)}. Springer-Verlag LNCS 298.

\bibitem[Lawson, 1991]{Lawson:compactif}
Lawson, J. (1991).
\newblock Order and strongly sober compactifications.
\newblock In {\em Topology and Category Theory in Computer Science}, pages
  179--205. Oxford Press.

\bibitem[Lawson, 1987]{Lawson:versatile}
Lawson, J.~D. (1987).
\newblock The versatile continuous order.
\newblock In Main, M.~G., Melton, A., Mislove, M.~W., and Schmidt, D.~A.,
  editors, {\em Proc.\ 3rd Workshop on Mathematical Foundations of Programming
  Language Semantics (MFPS'87)}, pages 134--160. Springer Verlag LNCS 298.

\bibitem[Mislove, 1998]{Mislove:topo:CS}
Mislove, M. (1998).
\newblock Topology, domain theory and theoretical computer science.
\newblock {\em Topology and Its Applications}, 89:3--59.

\bibitem[Mislove, 2000]{Mislove:nondet:prob}
Mislove, M. (2000).
\newblock Nondeterminism and probabilistic choice: Obeying the law.
\newblock In {\em Proc.\ 11th Conf. Concurrency Theory (CONCUR'00)}, pages
  350--364. Springer Verlag LNCS 1877.

\bibitem[Nachbin, 1948]{Nachbin:pospace}
Nachbin, L. (1948).
\newblock Sur les espaces uniformes ordonn{\'e}s.
\newblock {\em Comptes-Rendus de l'Acad\'emie des Sciences}, MR
  9(455):774--775.
\newblock English Translation in \cite{Nachbin:toporder}.

\bibitem[Nachbin, 1965]{Nachbin:toporder}
Nachbin, L. (1965).
\newblock {\em Topology and Order}.
\newblock Van Nostrand, Princeton, NJ.
\newblock Translated from the 1950 monograph ``Topologia e Ordem'' (in
  Portuguese). Reprinted by Robert E. Kreiger Publishing Co. Huntington, NY,
  1967, 1976.

\bibitem[Norberg and Vervaat, 1997]{NV:capacities}
Norberg, T. and Vervaat, W. (1997).
\newblock Capacities on non-{H}ausdorff spaces.
\newblock In Vervaat, W. and Holwerda, H., editors, {\em Probability and
  Lattices}, pages 133--150. CWI Tract 110.
\newblock Preprint first appeared in 1989.

\bibitem[Papadimitriou, 1985]{Papadimitriou:games:nature}
Papadimitriou, C.~H. (1985).
\newblock Games against nature.
\newblock {\em Journal of Computer and System Sciences}, 31(2):288--301.

\bibitem[Plotkin, 2006]{Plotkin:alaoglu}
Plotkin, G. (2006).
\newblock A domain-theoretic {B}anach-{A}laoglu theorem.
\newblock {\em Mathematical Structures in Computer Science}, 16:299--311.

\bibitem[Tix, 1995]{Tix:bewertung}
Tix, R. (1995).
\newblock {\em {S}tetige {B}ewertungen auf topologischen {R\"a}umen}.
\newblock Diplomarbeit, TH Darmstadt.

\bibitem[Tix, 1999]{Tix:PhD}
Tix, R. (1999).
\newblock {\em Continuous {D}-Cones: Convexity and Powerdomain Constructions}.
\newblock PhD thesis, Technische Universit{\"a}t Darmstadt.

\bibitem[Tix et~al., 2005]{TKP:nondet:prob}
Tix, R., Keimel, K., and Plotkin, G. (2005).
\newblock Semantic domains for combining probability and non-determinism.
\newblock {\em Electronic Notes in Theoretical Computer Science}, 129:1--104.

\bibitem[Vickers and Townsend, 2004]{VT:double:power}
Vickers, S.~J. and Townsend, C.~F. (2004).
\newblock A universal characterization of the double powerlocale.
\newblock {\em Theoretical Computer Science}, 316(1-3):297--321.

\bibitem[Walley, 1991]{Walley:prev}
Walley, P. (1991).
\newblock {\em Statistical Reasoning with Imprecise Probabilities}.
\newblock Chapman and Hall, London.

\end{thebibliography}
