×

ProbNetKAT公司

swMATH ID: 21703
软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦
描述： 康托与斯科特相遇：概率网络的语义基础。ProbNetKAT是NetKAT的概率扩展，具有基于马尔可夫核的指称语义。该语言的表达能力足以生成连续分布，这就提出了如何在该语言中有效计算的问题。本文利用领域理论对ProbNetKAT的语义进行了新的表征，为构建实际实现提供了必要的基础。我们展示了如何使用语义来近似使用有限支持的分布的任意ProbNetKAT程序的行为。我们开发了一个原型实现，并展示了如何使用它来解决各种问题，包括表征不同路由方案引起的预期拥塞，以及概率推理网络中的可达性。
主页： http://frenetic-lang.org/probnetkat/
关键词： 带测试的Kleene代数；领域理论；NetKAT公司；概率语义学；软件定义的网络
相关软件： NetKAT公司；棱镜；定量生产线；教堂
引用于： 7文件

标准条款

1出版物描述软件，包括1出版物在zbMATH中 年份
康托与斯科特相遇：概率网络的语义基础。 兹比尔1380.68132
斯莫尔卡，斯特芬；库马尔，普拉文；内特·福斯特；德克斯特·科赞；亚历山德拉·席尔瓦
2017
全部的 前5名

22位作者引用

2 亚历山德拉·席尔瓦
1 克里希南德·查特吉
1 弗雷德里克·达尔奎斯特
1 文森特·达诺斯
1 内特·福斯特
1 伊利亚斯·加尼尔
1 埃桑·卡夫什达尔·戈哈沙迪
1 詹·菲利普·霍夫曼
1 埃纳尔·布罗赫·约翰森
1 大卫·M·卡恩。
1 德克斯特·C·科赞。
1 库马尔，普拉文
1 马可·米兰尼斯
1 诺沃顿，皮特
1 劳尔·帕尔多
1 弗朗西斯科·兰扎托
1 代表，Thomas W。
1 伊娜·谢弗
1 斯莫尔卡、斯蒂芬·朱尔夫
1 安德热·瓦索夫斯基
1 扎里沃基，基尼
1 朱伊凯利奇，{D} 或{d} e（电子）

0连载引用

全部的 前5名

在6个字段中引用

7 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）
1 范畴理论；同调代数（18-XX）
1 测量和集成（28-XX）
1 概率论与随机过程（60-XX）
1 统计学（62-XX）

按年份列出的引文