CPOs of measures for nondeterminism. Theoretical Computer Science (1980)

by Nasser Saheb-Djahromi
Venue:Publication. Turku Centre for Computer Science