ProbNetKAT

swMATH21703MaRDI QIDQ33505FDOQ33505

Author name not available (Why is that?)

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

Described by source

• Cantor meets Scott: semantic foundations for probabilistic networks

Cited In (6)

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

This page was built for software: ProbNetKAT