符号概率π微积分的有限公理化

本文重点讨论了由Wu,Palamidessi和Lin引入的称为符号概率π演算的过程演算中的有限过程寻求完全公理化的问题。 我们为强和弱符号概率双仿真提供了推理系统,并证明了它们的正确性和完整性。 据我们所知,这是在不确定性和概率选择同时存在的情况下,为符号概率双模拟提供完全公理化的第一项工作。