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