并发NetKAT：建模和分析有状态、并发网络
摘要：并发NetKAT（CNetKAT）：一个扩展NetKAT的运算符，用于在多个数据包通过状态进行交互的情景中指定和推理并发。我们提供了基于部分有序的多重集合（pomsets）的语言模型，pomsets是定义并发语言的描述语义的数学结构。我们提供了这个模型的一个完整和完备的公理化表达，并通过示例介绍了CNetKAT的使用。更一般地说，CNetKAT可以被理解为一个代数框架，用于推理具有本地状态（在数据包中）和全局状态（在全局存储中）的程序。
作者：Jana Wagemaker and Nate Foster and Tobias Kapp''e and Dexter Kozen and Jurriaan Rot and Alexandra Silva
论文ID：2201.10485
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-02-03