Denotational Semantics for Probabilistic and Concurrent Programs.

Noam Zilberstein, Daniele Gorla, Alexandra Silva

Browse the full CONCUR paper archive.