Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures
No abstract available.
Related papers
- Linear and Non-linear Relational Analyses for Quantum Program Optimization POPL 2025
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers POPL 2024
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- Semantics for variational Quantum programming POPL 2022
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Transactional events ICFP 2006