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
- A coalgebraic decision procedure for WS1S
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- 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
- 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
- Equational theories of abnormal termination based on Kleene algebra
- 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
- The Hoare logic of deterministic and nondeterministic monadic recursion schemes
- Some complexity results for stateful network verification
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Verified iptables firewall analysis and verification
- Completeness for identity-free Kleene lattices
- Minimal number of calls in propositional protocols
- A fast compiler for NetKAT
This page was built for software: NetKAT
