PTSC公司

概率、时间和共享变量并发性。复杂的软件系统通常涉及时间、并发性和概率等特性,其中概率计算扮演着越来越重要的角色。将包含所有这些特性的语言形式化是一个挑战。在本文中,我们将概率、时间和并发性集成在一个单一的模型中,其中并发特性通过基于共享变量的通信来建模。概率特征由概率不确定性选择、概率保护选择和概率并行组合表示。我们将这种集成的操作语义形式化。基于这个模型,我们定义了一个互模拟关系,从中研究了概率程序之间的观测等价性,并探索了一组代数定律。我们还实现了一个操作语义的原型来模拟概率程序的执行。