Probabilistic NetKAT (Q2802486): Difference between revisions

@@ Property / describes a project that uses @@
+NetKAT
@@ Property / describes a project that uses: NetKAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Frenetic
@@ Property / describes a project that uses: Frenetic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFlow
@@ Property / describes a project that uses: VeriFlow / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49498-1_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2913846715
@@ Property / OpenAlex ID: W2913846715 / rank @@
+Normal rank
@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4114551
@@ Property / cites work: Q4114551 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for network delay. I. Network elements in isolation
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Frenetic
@@ Property / cites work: Frenetic / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Decision Procedure for NetKAT
@@ Property / cites work: A Coalgebraic Decision Procedure for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic NetKAT
@@ Property / cites work: Probabilistic NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Conditioning in probabilistic programming
@@ Property / cites work: Conditioning in probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799972
@@ Property / cites work: Q5799972 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Completeness for Markovian Logics
@@ Property / cites work: Strong Completeness for Markovian Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Network calculus. A theory of deterministic queueing systems for the Internet
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3755692
@@ Property / cites work: Q3755692 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast compiler for NetKAT
@@ Property / cites work: A fast compiler for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+A Scheme for Fast Parallel Communication
@@ Property / cites work: A Scheme for Fast Parallel Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank