NetKAT-Reference-Cited by-同舟云学术

NetKAT

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Anderson Carolyn Jane¹,Foster Nate²,Guha Arjun³,Jeannin Jean-Baptiste⁴,Kozen Dexter²,Schlesinger Cole⁵,Walker David⁵

Affiliation:

1. Swarthmore College, Swarthmore, PA, USA

2. Cornell University, Ithaca, NY, USA

3. University of Massachusetts Amherst, Amherst, MA, USA

4. Carnegie Mellon University, Pittsburgh, PA, USA

5. Princeton University, Princeton, NJ, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2535838.2535862

Reference32 articles.

1. FlowChecker

2. Ernie Cohen. Using Kleene algebra to reason about concurrency control. Technical report Telcordia Morristown N.J. 1994. Ernie Cohen. Using Kleene algebra to reason about concurrency control. Technical report Telcordia Morristown N.J. 1994.

3. Participatory networking

4. Frenetic

Cited by 237 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relational Network Verification;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

2. Cross-Platform Transpilation of Packet-Processing Programs using Program Synthesis;Proceedings of the 8th Asia-Pacific Workshop on Networking;2024-08-03

3. A Completeness Theorem for Probabilistic Regular Expressions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

4. KATch: A Fast Symbolic Verifier for NetKAT;Proceedings of the ACM on Programming Languages;2024-06-20

5. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20