Complete Proof Systems for Amortised Probabilistic Bisimulations

ISCAS OpenIR

	Complete Proof Systems for Amortised Probabilistic Bisimulations
	Xu, LL; Lin, HM
	2016
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	31 期号:2 页码:300-316
摘要	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.
收录类别	SCI
关键词	Axiomatization Probabilistic Calculus For Communication Systems (Ccs) Probabilistic Automata Amortised Bisimulation
部门归属	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.
语种	英语
WOS记录号	WOS:000372154100006
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/17345
专题	中国科学院软件研究所
推荐引用方式 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.