Reliability of Mobile Processes with Noisy Channels

doi:10.1109/TC.2011.147

CORC > 北京大学 > 信息科学技术学院

	Reliability of Mobile Processes with Noisy Channels
	Cao, Yongzhi
刊名	ieee transactions on computers
	2012
关键词	Approximate bisimulation asynchronous pi-calculus bisimilarity noisy channel reliability PROBABILISTIC TRANSITION-SYSTEMS PI-CALCULUS UNRELIABLE CHANNELS INFORMATION LEAKAGE BISIMULATION VERIFICATION PROGRAMS COMMUNICATION METRICS MODELS
DOI	10.1109/TC.2011.147
英文摘要	To model the behavior of channels in real-world mobile systems, Ying introduced an extension of the pi-calculus by taking channel noise into account. Unfortunately, this extension is not faithful in the sense that its semantics does not coincide with the standard one for the pi-calculus in the noise-free case. In this paper, we consider a simple variant of the pi-calculus, the asynchronous pi-calculus (A pi), which has been used for modeling some concurrent systems with asynchronous communication. To model these systems with noisy channels, we propose a faithful extension of A pi, called the A pi(n)-calculus. After giving a probabilistic transitional semantics of A pi(n), we introduce bisimilarity in A pi(n) and show that it is a partial input congruence. If a specification of a system is described as a process P in A pi and we view the behavior of P in A pi(n) as an implementation of the specification, then it is interesting to measure how far the behavior in A pi(n) is from that in A pi. We thus introduce the notion of reliability degree, which is based upon a new approximate bisimulation. We find that bisimilar agents may have different reliability degrees and even the agent with the greatest reliability degree may not be satisfactory. We thus appeal to Shannon's noisy channel coding theorem and show that reliability degrees can be improved by employing coding techniques.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000307119200001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Hardware & Architecture; Engineering, Electrical & Electronic; SCI(E); EI; 6; ARTICLE; 9; 1217-1230; 61
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/152452]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Cao, Yongzhi. Reliability of Mobile Processes with Noisy Channels[J]. ieee transactions on computers,2012.
APA	Cao, Yongzhi.(2012).Reliability of Mobile Processes with Noisy Channels.ieee transactions on computers.
MLA	Cao, Yongzhi."Reliability of Mobile Processes with Noisy Channels".ieee transactions on computers (2012).