ISCAS OpenIR  > 2010软件所会议论文
characterising probabilistic processes logically
Deng Yuxin; Van Glabbeek Rob
2010
会议名称17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17
会议录名称Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码278-293
会议日期40826
会议地点Yogyakarta, Indonesia
收录类别ei
出版地Germany
ISSN3029743
ISBN364216241X
部门归属(1) Dept. Comp. Sci. and Eng., MOE-Microsoft Key Lab. for Intell. Comp. and Syst., Shanghai Jiao Tong University, China; (2) State Key Lab of Comp. Sci., Inst. of Software, Chinese Academy of Sciences, China; (3) NICTA, Australia; (4) University of New South Wales, Australia
摘要In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae. © 2010 Springer-Verlag.
关键词Artificial Intelligence
语种英语
内容类型会议论文
URI标识http://ir.iscas.ac.cn/handle/311060/8686
专题2010软件所会议论文
推荐引用方式
GB/T 7714
Deng Yuxin,Van Glabbeek Rob. characterising probabilistic processes logically[C]. Germany,2010:278-293.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
characterising proba(285KB) 限制开放--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Deng Yuxin]的文章
[Van Glabbeek Rob]的文章
百度学术
百度学术中相似的文章
[Deng Yuxin]的文章
[Van Glabbeek Rob]的文章
必应学术
必应学术中相似的文章
[Deng Yuxin]的文章
[Van Glabbeek Rob]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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