Mixing Up Nondeterminism and Probability: a preliminary report

Jerry den Hartog, Erik P. de Vink. Mixing Up Nondeterminism and Probability: a preliminary report. Electronic Notes in Theoretical Computer Science, 22:88-110, 1999. [doi]

Abstract

Abstract is missing.