BriefGPT.xyz
Ask
alpha
关键词
probnetkat
搜索结果 - 1
Cantor meets Scott: 概率网络的语义基础
本文提出了一个新的应用领域理论的 ProbNetKAT 语义的特征，进而实现了 ProbNetKAT 的实际问题解决。我们使用该语义来描述各种概率问题，例如在网络中关于路由方案的期望拥塞和关于网络连通性的概率推理，并开发出原型实现。
PDF
8 years ago
Prev
Next