PTSC公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献6条,1标准件)

显示结果1到6，共6个。
按年份排序(引用)

  1. 谢婉玲；朱惠标；徐启文：移动系统的过程演算及其形式语义（2021）
  2. 施、玲；赵永新；刘、杨；孙军；董金松；秦胜超：PVS中共享变量进程通信的UTP语义及其形式化编码（2018）
  3. 霍尔，托尼；范斯塔登，斯蒂芬；莫勒，伯恩哈德；斯特拉斯，乔治；朱惠标：并行Kleene代数的发展（2016）
  4. 朱惠标；桑德斯，杰夫W。；何继峰；秦胜超：概率时间共享变量语言的指称语义（2013）
  5. 朱惠标；杨，范；何继峰；鲍恩，乔纳森P。；桑德斯，杰夫W。；秦胜超：《概率定时共享变量语言的运算语义与代数语义的联系》（2012）
  6. 朱惠标；秦圣超；何继峰；Jonathan P.Bowen:PTSC:概率、时间和共享变量并发性（2009）ioport公司