Institutional Repository
| Complete Proof Systems for Amortised Probabilistic Bisimulations | |
| Xu, LL; Lin, HM | |
| 2016 | |
| Source | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| ISSN | 1000-9000 |
| Volume | 31Issue:2Pages:300-316 |
| English Abstract | The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for amortised strong probabilistic bisimulation and its observational congruence on a process algebra with probability and nondeterminism, and prove their soundness and completeness. Our results make it possible to reason about long-term (observable) probabilistic behaviors by syntactic manipulations.; The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for amortised strong probabilistic bisimulation and its observational congruence on a process algebra with probability and nondeterminism, and prove their soundness and completeness. Our results make it possible to reason about long-term (observable) probabilistic behaviors by syntactic manipulations. |
| Indexed Type | SCI |
| Keyword | Axiomatization Probabilistic Calculus For Communication Systems (Ccs) Probabilistic Automata Amortised Bisimulation |
| Department | Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. Univ Chinese Acad Sci, Beijing 100049, Peoples R China. Ecole Polytech, F-91120 Palaiseau, France. |
| Language | 英语 |
| WOS ID | WOS:000372154100006 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/17345 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Xu, LL,Lin, HM. Complete Proof Systems for Amortised Probabilistic Bisimulations[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2016,31(2):300-316. |
| APA | Xu, LL,&Lin, HM.(2016).Complete Proof Systems for Amortised Probabilistic Bisimulations.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,31(2),300-316. |
| MLA | Xu, LL,et al."Complete Proof Systems for Amortised Probabilistic Bisimulations".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 31.2(2016):300-316. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment