A Probabilistic Applied Pi-Calculus
Abstract elided by the publisher.
Related papers
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi ESOP 2014
- A Gradual Probabilistic Lambda Calculus OOPSLA 2023
- On continuation-passing transformations and expected cost analysis ICFP 2021
- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages ESOP 2021
- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis ESOP 2001
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls APLAS 2017
- A pre-expectation calculus for probabilistic sensitivity POPL 2021
- Probabilistic programming semantics for name generation POPL 2021