| 题名: | symbolic bisimulations for probabilistic systems |
| 作者: | Wu Peng
; Palamidessi Catuscia
; Lin Huimin
|
| 会议文集: | Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
|
| 会议名称: | 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007
|
| 会议日期: | September
|
| 出版日期: | 2007
|
| 会议地点: | Edinburgh, United kingdom
|
| 关键词: | Calculations
; Fault tolerance
; Functions
; Probability
; Reliability
; Set theory
|
| 出版地: | United States
|
| 收录类别: | EI
|
| ISBN: | 076952883X
|
| 部门归属: | (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
|
| 英文摘要: | 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) |
| 内容类型: | 会议论文
|
| 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.
|
|
|
