首页> 外文OA文献 >A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification

【2h】

A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification

机译：概率系统的分支双仿真的完全公理化及其在协议验证中的应用

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Suzana Andova; Jos C. M. Baeten; Tim A. C. Willemse;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Branching bisimulation congruence for probabilistic systems [J] . Suzana Andova, Sonja Georgievska, Nikola Trcka Theoretical computer science . 2012,第1期

机译：概率系统的分支双仿真同余
2. Branching bisimulation for probabilistic systems: Characteristics and decidability [J] . Suzana Andova, Tim A. C. Willemse Theoretical computer science . 2006,第3期

机译：概率系统的分支双仿真：特征和可判定性
3. Complete Proof Systems for Amortised Probabilistic Bisimulations [J] . Li-Li Xu, Hui-Min Lin 计算机科学技术学报（英文版） . 2016,第002期

机译：完整的证明系统，用于摊余概率模拟
4. A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification [C] . Suzana Andova, Jos C. M. Baeten, Tim A.C. Willemse International Conference on Concurrency Theory(CONCUR 2006); 20060827-30; Bonn(DE) . 2006

机译：概率系统分支双仿真的完全公理化及其在协议验证中的应用
5. Verification of Probabilistic Branching Time Systems. [D] . Gorlin, Andrey. 2016

机译：验证概率分支时间系统。
6. Probabilistic Interaction Network of Evidence Algorithm and its Application to Complete Labeling of Peak Lists from Protein NMR Spectroscopy [O] . Arash Bahrami, Amir H. Assadi, John L. Markley, 2009

机译：证据算法的概率交互网络及其在蛋白质NMR谱图完全标记峰列表中的应用
7. Rooted branching bisimulation as a congruence for probabilistic transition systems [O] . Matias D. Lee, Erik P. de Vink 2015

机译：根分支互模拟作为概率转移系统的一致性

A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification

著录项

引文网络

相似文献

相关主题

期刊订阅