@inproceedings{zilberstein-2025-denotational,
  doi = {10.4230/LIPICS.CONCUR.2025.39},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.39},
  author = {Zilberstein, Noam and Gorla, Daniele and Silva, Alexandra},
  keywords = {Denotational Semantics, Pomsets, Concurrency, Convex Powerset, Theory of computation → Parallel computing models, Theory of computation → Denotational semantics, Theory of computation → Probabilistic computation},
  language = {en},
  title = {Denotational Semantics for Probabilistic and Concurrent Programs},
  volume = {348},
  pages = {39:1-39:24},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2025},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {36th International Conference on Concurrency Theory (CONCUR 2025)}
}