The probabilistic power domain construction of Jones and Plotkin [6, 7] is defined by a construction on dcpo's. We present alternative definitions in terms of information systems à la Vickers [12], and in terms of locales. On continuous domains, all three definitions coincide.
[Paper.ps.gz (28p, 90k)]