Two probabilistic powerdomains in topological domain theory (2009)

by I Battenfeld, A Simpson
Venue:Domains IX Workshop