概率异步π演算
摘要：一个异步π演算的扩展，引入了随机选择的概念。我们定义了一种操作语义，它区分了由进程内部进行的概率选择和由对手调度器在外部进行的非确定性选择。这种区分使我们能够对特定调度器下的算法的概率正确性进行推理。我们展示了在这种语言中我们可以解决选举问题，这在异步π演算中被证明是不可能的。最后，我们展示了一个类似于Java的语言中概率异步π演算的实现。
作者：Oltea Mihaela Herescu and Catuscia Palamidessi
论文ID：cs/0109002
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23