ISCAS OpenIR  > 2010软件所会议论文
characterising probabilistic processes logically
Deng Yuxin; Van Glabbeek Rob
2010
Conference Name17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17
SourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages278-293
Conference Date40826
Conference PlaceYogyakarta, Indonesia
Indexed Typeei
Publish PlaceGermany
ISSN3029743
ISBN364216241X
Department(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
English AbstractIn 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.
KeywordArtificial Intelligence
Language英语
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/8686
Collection2010软件所会议论文
Recommended Citation
GB/T 7714
Deng Yuxin,Van Glabbeek Rob. characterising probabilistic processes logically[C]. Germany,2010:278-293.
Files in This Item:
File Name/Size DocType Version Access License
characterising proba(285KB) 限制开放--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Deng Yuxin]'s Articles
[Van Glabbeek Rob]'s Articles
Baidu academic
Similar articles in Baidu academic
[Deng Yuxin]'s Articles
[Van Glabbeek Rob]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Deng Yuxin]'s Articles
[Van Glabbeek Rob]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.