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

Concurrent NetKAT

Published:2022 Issue: Volume: Page:575-602
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Wagemaker Jana^ORCID,Foster Nate^ORCID,Kappé Tobias^ORCID,Kozen Dexter^ORCID,Rot Jurriaan,Silva Alexandra^ORCID

Abstract

AbstractWe introduce Concurrent (), an extension of with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered multisets (pomsets), which are a well-established mathematical structure for defining the denotational semantics of concurrent languages. We provide a sound and complete axiomatization of this model, and we illustrate the use of through examples. More generally, can be understood as an algebraic framework for reasoning about programs with both local state (in packets) and global state (in a global store).

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_21

Reference39 articles.

1. Alglave, J., Maranget, L., Sarkar, S., Sewell, P.: Litmus: Running tests against hardware. In: TACAS. pp. 41–44 (2011). https://doi.org/10.1007/978-3-642-19835-9_5

2. Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S., Velner, Y.: Abstract interpretation of stateful networks. In: Static Analysis. pp. 86–106. Springer International Publishing (2018), https://doi.org/10.1007/978-3-319-99725-4_8

3. Anderson, C.J., Foster, N., Guha, A., Jeannin, J., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks. In: POPL. pp. 113–126 (2014). https://doi.org/10.1145/2535838.2535862

4. Bosshart, P., Daly, D., Gibb, G., Izzard, M., McKeown, N., Rexford, J., Schlesinger, C., Talayco, D., Vahdat, A., Varghese, G., Walker, D.: P4: Programming protocol-independent packet processors. SIGCOMM Comput. Commun. Rev. 44(3), 87–95 (jul 2014). https://doi.org/10.1145/2656877.2656890

5. Brunet, P., Pous, D.: Petri automata. Logical Methods in Computer Science 13 (02 2017). https://doi.org/10.23638/LMCS-13(3:33)2017

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

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

2. An Algebraic Language for Specifying Quantum Networks;Proceedings of the ACM on Programming Languages;2024-06-20

3. Concurrent NetKAT with Ports;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

4. Shoggoth: A Formal Foundation for Strategic Rewriting;Proceedings of the ACM on Programming Languages;2024-01-05

5. Using expression parsing and algebraic operations to generate test sequences.;Journal of Systems and Software;2023-10