ProbNetKAT

MaRDI QIDQ33505swMATHFDO

Official website http://frenetic-lang.org/probnetkat/

Described by source

• Cantor meets Scott: semantic foundations for probabilistic networks

Cited in

(6)

• A denotational semantics for low-level probabilistic programs with nondeterminism
• Borel kernels and their approximation, categorically
• Hakaru
• NetKAT
• Anglican
• Undecidable Problems for Probabilistic Network Programming

This page was built for software: ProbNetKAT