NetKAT
From MaRDI portal
Software:28139
swMATH16269MaRDI QIDQ28139FDOQ28139
Author name not available (Why is that?)
Cited In (26)
- Explaining safety failures in NetKAT
- 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
- Undecidable Problems for Probabilistic Network Programming
- On series-parallel pomset languages: rationality, context-freeness and automata
- Hopscotch -- reaching the target hop by hop
- Title not available (Why is that?)
- Actor-based model checking for software-defined networks
- Propositional gossip protocols
- Towards an analysis of dynamic gossip in Net\textsc{kat}
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes
- Title not available (Why is that?)
- Canonical finite models of Kleene algebra with tests
- Probabilistic NetKAT
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
- Completeness for Identity-free Kleene Lattices
- Faster pushdown reachability analysis with applications in network verification
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
- Some complexity results for stateful network verification
- Equational Theories of Abnormal Termination Based on Kleene Algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Verified iptables firewall analysis and verification
- Minimal number of calls in propositional protocols
- A fast compiler for NetKAT
This page was built for software: NetKAT
