文件大小：0.51 MB 15页
非确定性概率过程的模态分解
作者
-
部分： 体积： 第27届并行理论国际会议（CONCUR 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-08-24
文件
文件标识符
引用为 获取BibTex
摘要
关键词
社会服务体系 不确定概率过程代数 逻辑表征 模态公式的分解
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
S.Andova和T.A.C.Willemse。 概率系统的分支互模拟：特征和可判定性。 理论。 计算。 科学。， 356(3):325-355, 2006. 
-
B.Bloom、W.J.Fokkink和R.J.van Glabbeek。 修饰跟踪语义的前同余格式。 ACM事务处理。 计算。 日志。， 5(1):26-78, 2004.
-
B.Bloom、S.Istrail和A.R.Meyer。 无法追踪相互模拟。 J.ACM，42（1）：232-2681995年。
-
V.Castiglioni、D.Gebler和S.Tini。 互模拟度量的逻辑特征。 程序中。 QAPL 2016，《理论计算机科学电子论文集》，2016年。
-
P.R.D’Argenio、D.Gebler和M.D.Lee。 公理化概率SOS规则的互模拟等价物和度量。 程序中。 FoSSaCS 2014，《计算机科学讲义》第8412卷，第289-303页。 斯普林格，2014年。
-
P.R.D’Argenio和M.D.Lee。 概率转移系统规范：同余和互模拟的完全抽象。 程序中。 FoSSaCS 2012，《计算机科学讲义》第7213卷，第452-466页。 施普林格，2012年。
-
邓玉玲和杜文华。 概率互模拟的逻辑、度量和算法特征。 CoRR，abs/1103.45772011年。
-
Y.Deng和R.J.van Glabbeek。 逻辑上描述概率过程-（扩展摘要）。 程序中。 LPAR-17，《计算机科学讲义》第6397卷，第278-293页。 施普林格，2010年。
-
Y.Deng、R.J.van Glabeek、M.Hennessy和C.Morgan。 描述有限概率过程的测试预订单。 《计算机科学中的逻辑方法》，4（4），2008年。
-
J.Desharnais、V.Gupta、R.Jagadeesan和P.Panangaden。 标记马尔可夫过程的度量。 理论。 计算。 科学。， 318(3):323-354, 2004.
-
J.Desharnais、R.Jagadeesan、V.Gupta和P.Panangaden。 概率过程弱互模拟的度量模拟。 程序中。 LICS 2002，第413-422页。 IEEE计算机学会，2002年。
-
W.J.Fokkink和R.J.van Glabbeek。 分式与同余Ⅱ：从模态公式的分解到延迟和弱双相似性的保持。 CoRR，abs/1604.07530，2016年。
-
W.J.Fokkink、R.J.van Glabbeek和P.de Wind。 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 理论。 计算。 科学。， 354(3):421-440, 2006.
-
W.J.Fokkink、R.J.van Glabbeek和P.de Wind。 分式和同余：从模态公式的分解到分支和η-双相似性的保持。 信息计算。， 214:59-85, 2012.
-
D.Gebler和W.J.Fokkink。 通过结构操作语义实现概率Hennessy-Milner逻辑的组合性。 程序中。 CONCUR 2012，《计算机科学讲义》第7454卷，第395-409页。 施普林格，2012年。
-
D.Gebler、K.G.Larsen和S.Tini。 利用概率过程演算进行组合度量推理。 程序中。 FoSSaCS’15，《计算机科学讲义》第9034卷，第230-245页。 斯普林格，2015年。
-
D.Gebler、K.G.Larsen和S.Tini。 利用概率过程演算进行组合度量推理。 《计算机科学中的逻辑方法》，2016年。
-
D.Gebler和S.Tini。 一致连续算子概率系统的SOS规范。 程序中。 CONCUR 2015，LIPIcs第42卷，第155-168页。 达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。
-
M.轩尼诗和R.米尔纳。 不确定性和并发性的代数定律。 美国医学杂志，32:137-1611985。
-
R.Lanotte和S.Tini。 概率互模拟作为同余。 ACM事务处理。 计算。 日志。， 10:1-48, 2009.
-
K.G.Larsen和A.Skou。 通过概率测试进行相互模拟。 信息计算。， 94(1):1-28, 1991.
-
K.G.Larsen和L.Xinxin。 通过上下文的操作语义实现合成。 J.日志。 计算。， 1(6):761-795, 1991.
-
G.普洛金。 操作语义的结构方法。 DAIMI FN-19报告，奥胡斯大学，1981年。
-
R.塞加拉。 随机分布式实时系统的建模与验证。 麻省理工学院博士论文，1995年。
-
F.van Breugel和J.Worrell。 概率转移系统的定量验证算法。 程序中。 CONCUR 2001，《计算机科学讲义》第2154卷，第336-350页。 斯普林格，2001年。