The following pages link to NetKAT (Q28139):
Displaying 26 items.
- Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings (Q261155) (← links)
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings (Q466146) (← links)
- Towards an analysis of dynamic gossip in Net\textsc{kat} (Q1617832) (← links)
- Verified iptables firewall analysis and verification (Q1663231) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions (Q2026303) (← links)
- Explaining safety failures in NetKAT (Q2043810) (← links)
- Propositional gossip protocols (Q2140515) (← links)
- Faster pushdown reachability analysis with applications in network verification (Q2147193) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- Minimal number of calls in propositional protocols (Q2695494) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- A fast compiler for NetKAT (Q2981979) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5079743) (← links)
- Undecidable Problems for Probabilistic Network Programming (Q5111285) (← links)
- (Q5111639) (← links)
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
- (Q5351976) (← links)
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Q5395645) (← links)
- (Q5875403) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
