Pages that link to "Item:Q2819821"
From MaRDI portal
The following pages link to A Coalgebraic Decision Procedure for NetKAT (Q2819821):
Displaying 9 items.
- Verified iptables firewall analysis and verification (Q1663231) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- Explaining safety failures in NetKAT (Q2043810) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Undecidable Problems for Probabilistic Network Programming (Q5111285) (← links)
- (Q5875403) (← links)
