The troublesome probabilistic powerdomain (1998)

by A Jung, R Tix
Venue:Proceedings of the Third Workshop on Computation and Approximation, volume 13 Electronic Notes in Theoretical Computer Science 13