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