Atlas home || Conferences | Abstracts | about Atlas

SumTopo 2001, Sixteenth Summer Conference on Topology and its Applications
July 18-21, 2001
City College of CUNY
New York, NY, USA

Organizers
Ralph Kopperman (City College, CUNY), Susan Andima (CW Post College, LIU), Gerald Itzkowitz (Queens College, CUNY), Prabudh Misra (College of Staten Island, CUNY), Shelly Rothman (CW Post College, LIU), Aaron Todd (Baruch College, CUNY)

View Abstracts
Conference Homepage

A finitistic localic presentation of the probabilistic powerdomain.
by
Achim Jung
School of Computer Science, University of Birmingham, England
Coauthors: M. Andrew Moshier

The probabilistic powerdomain was introduced by Saheb-Djahromi in the late 1970s. It was employed by Jones and Plotkin to give semantics to a probabilistic choice operator. From a mathematical point of view, the elements of the probabilistic powerdomain have a close connection to measures, and this connection has been explored in detail by Lawson, Tix, Edalat, Alvarez-Manilla and others.

The purpose of our work is to identify the probabilistic powerdomain through a finitistic description of its lattice of open subsets. The ambient category is that of stably-compact spaces and closed relations, which has been introduced in earlier work by us together with Mathias Kegelmann.

Date received: July 2, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cahy-04.