ProbNetKAT

swMATH21703MaRDI QIDQ33505FDOQ33505

Author name not available (Why is that?)

Described by source

• Cantor meets Scott: semantic foundations for probabilistic networks

Cited In (3)

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

This page was built for software: ProbNetKAT