wSPPs compactly compute weighted NetKAT semantics over any semiring, including Kleene star, and trace-carrying Pareto semirings add witness paths for multi-objective trade-offs.
2008.Graphs, Dioids and Semirings: New Models and Algorithms
1 Pith paper cite this work, alongside 205 external citations. Polarity classification is still indexing.
1
Pith paper citing it
205
external citations · OpenAlex
fields
cs.PL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Fast Quantitative Analyzer for NetKAT
wSPPs compactly compute weighted NetKAT semantics over any semiring, including Kleene star, and trace-carrying Pareto semirings add witness paths for multi-objective trade-offs.