PTSC公司 swMATH ID: 13692 软件作者： 描述： PTSC：概率、时间和共享变量并发。复杂的软件系统通常涉及时间、并发性和概率等特性，其中概率计算发挥着越来越大的作用。将包含所有这些特性的语言形式化是一项挑战。在本文中，我们将概率、时间和并发集成在一个单一模型中，其中并发特性是使用基于共享变量的通信建模的。概率特征由概率非确定性选择、概率保护选择和概率形式的并行组合表示。我们将这种集成的操作语义形式化。基于此模型，我们定义了一个互模拟关系，从中研究了概率程序之间的观测等价性，并探索了一系列代数定律。我们还实现了操作语义的原型，以模拟概率程序的执行。 主页： http://link.springer.com/article/10.1007/s11334-009-0100-9 相关软件： 伊莎贝尔；拍打；Coq公司；莫德；Uppaal公司；玛丽亚；TCOZ公司；马戏团；CSP校验器；电源保护；霍尔；PVS公司；毫升；系统C；梅斯4；校准仪9；伊莎贝尔/HOL 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 概率定时共享变量语言的表示语义。 Zbl 1452.68062号朱慧彪；杰夫·桑德斯。；何继峰；秦胜超 2013 全部的 前5名17位作者引用 4 朱慧彪 三 秦胜超 2 何继峰 2 杰夫·桑德斯。 1 乔纳森·鲍文（Jonathan P.Bowen）。 1 董金松 1 C.A.R.Tony Hoare 1 刘，杨 1 伯恩哈德·莫勒 1 史玲 1 乔治·斯特鲁斯 1 孙骏 1 范·斯塔登（Stephan van Staden） 1 谢万玲 1 徐启文 1 杨，范 1 赵永新 3篇连载文章中引用 2 计算的形式方面 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文