| 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.
|
|
|
