zilberstein-2025-denotational:
  type: article
  title: Denotational Semantics for Probabilistic and Concurrent Programs
  author:
  - Zilberstein, Noam
  - Gorla, Daniele
  - Silva, Alexandra
  date: 2025
  page-range: 39:1-39:24
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.39
  serial-number:
    doi: 10.4230/LIPICS.CONCUR.2025.39
  parent:
    type: proceedings
    title: 36th International Conference on Concurrency Theory (CONCUR 2025)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 348