https://research.utwente.nl/en/publications/denotational-causal-and-operational-determinism-in-event-structur/
Denotational, Causal, and Operational Determinism in Event Structures - University of Twente...
event structuresuniversity ofcausaloperationaldeterminism
https://stonebuddha.github.io/publication/wanghr19/
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism | Di Wang
Jun 3, 2019 - Probabilistic programming is an increasingly popular formalism for modeling randomness and uncertainty. Designing semantic models for probabilistic programs...
low level