The troublesome probabilistic powerdomain (1998)

by Achim Jung, Regina Tix
Venue:In Electr. Notes Theor. Comput. Sci