中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
symbolic bisimulations for probabilistic systems

文献类型:会议论文

作者Wu Peng ; Palamidessi Catuscia ; Lin Huimin
出版日期2007
会议名称4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
会议日期September
会议地点Edinburgh, United kingdom
关键词Calculations Fault tolerance Functions Probability Reliability Set theory
页码179-188
英文摘要The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations between probabilistic systems. Especially the definition of weak (symbolic)
收录类别EI
会议录Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
会议录出版地United States
ISBN号076952883X
源URL[http://124.16.136.157/handle/311060/10958]  
专题软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式
GB/T 7714
Wu Peng,Palamidessi Catuscia,Lin Huimin. symbolic bisimulations for probabilistic systems[C]. 见:4th International Conference on the Quantitative Evaluation of Systems, QEST 2007. Edinburgh, United kingdom. September.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。