Title: | symbolic bisimulations for probabilistic systems |
Author: | Wu Peng
; Palamidessi Catuscia
; Lin Huimin
|
Source: | Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
|
Conference Name: | 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
|
Conference Date: | September
|
Issued Date: | 2007
|
Conference Place: | Edinburgh, United kingdom
|
Keyword: | Calculations
; Fault tolerance
; Functions
; Probability
; Reliability
; Set theory
|
Publish Place: | United States
|
Indexed Type: | EI
|
ISBN: | 076952883X
|
Department: | (1) CNRS and LIX, École Polytechnique, 91128 Palaiseau, France; (2) INRIA Futurs and LIX, École Polytechnique, 91128 Palaiseau, France; (3) Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, 100080 Beijing, China
|
English Abstract: | 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) |
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/10958
|
Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
04338255.pdf(245KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
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.
|
|
|