论文标题
过程代数中多方会话类型的不精确概率
Imprecise Probability for Multiparty Session Types in Process Algebra
论文作者
论文摘要
在本文中，我们介绍了会话类型的不精确概率。更确切地说，我们使用概率过程演算，其中考虑了非确定的外部选择和概率的内部选择。我们建议通过使用一些不精确的概率和上层概率给出的一些不精确的概率来编码通信的结构。我们证明，这种新的概率打字系统是合理的，以及涉及古典和概率特性的其他几个结果。通过调查民意测验启发的一个简单示例来说明该方法。
In this paper we introduce imprecise probability for session types. More exactly, we use a probabilistic process calculus in which both nondeterministic external choice and probabilistic internal choice are considered. We propose the probabilistic multiparty session types able to codify the structure of the communications by using some imprecise probabilities given in terms of lower and upper probabilities. We prove that this new probabilistic typing system is sound, as well as several other results dealing with both classical and probabilistic properties. The approach is illustrated by a simple example inspired by survey polls.
