Timed, Distributed, Probabilistic, Typed Processes
Abstract elided by the publisher.
Related papers
- Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance TACAS 2014
- Probabilistic Resource-Aware Session Types POPL 2023
- Markov processes in Isabelle/HOL CPP 2017
- Probabilistic Refinement Session Types PLDI 2025
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus ESOP 2018
- Compiling Discrete Probabilistic Programs for Vectorized Exact Inference CC 2023
- Exact Recursive Probabilistic Programming OOPSLA 2023