The following pages link to Probabilistic NetKAT (Q2802486):
Displayed 10 items.
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Resilient capacity-aware routing (Q2044217) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Borel kernels and their approximation, categorically (Q2134827) (← links)
- Netter: probabilistic, stateful network models (Q2234099) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Undecidable Problems for Probabilistic Network Programming (Q5111285) (← links)