NetKAT

DOI10.1145/2535838.2535862zbMath1284.68100OpenAlexW2130210899MaRDI QIDQ5408410

No author found.

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535862

zbMATH Keywords

domain-specific languagessoftware-defined networkingnetkatfreneticnetwork programming languageskleene algebra with tests

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (32)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes ⋮ A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ 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 ⋮ Local completeness logic on Kleene algebra with tests ⋮ Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks ⋮ Unnamed Item ⋮ Completeness and the finite model property for Kleene algebra, reconsidered ⋮ An algebraic theory for shared-state concurrency ⋮ DyNetKAT: an algebra of dynamic networks ⋮ Proofs about Network Communication: For Humans and Machines ⋮ Minimal number of calls in propositional protocols ⋮ Unnamed Item ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ A synchronous effects logic for temporal verification of pure Esterel ⋮ Netter: probabilistic, stateful network models ⋮ 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 ⋮ Probabilistic NetKAT ⋮ Explaining safety failures in NetKAT ⋮ Resilient capacity-aware routing ⋮ Unnamed Item ⋮ NetKAT ⋮ Undecidable Problems for Probabilistic Network Programming ⋮ Some complexity results for stateful network verification

This page was built for publication: NetKAT