D. Varacca, H. Völzer, and G. Winskel, “Probabilistic Event Structures and Domains”, BRICS, vol. 11, no. 10, Jun. 2004.