TY  - RPRT
TI  - Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
AU  - Noam Zilberstein
AU  - Alexandra Silva
AU  - Joseph Tassarotti
PY  - 2025
DO  - 10.1145/3776651
UR  - https://arxiv.org/abs/2411.11662
ID  - 2411.11662
ER  -