Abstraction in Probabilistic Process Algebra
No abstract available.
Related papers
- Compiling Discrete Probabilistic Programs for Vectorized Exact Inference CC 2023
- Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI 2025
- Modular probabilistic models via algebraic effects ICFP 2022
- A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) ESOP 2016
- PMAF: an algebraic framework for static analysis of probabilistic programs PLDI 2018
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025