A Denotational Model for Probabilistic and Nondeterministic Processes (2000)

by D. Cazorla, F. Cuartero, V. Valero, F. L. Pelayo, Escuela Politecnica, Superior Albacete