Value-passing CCS with noisy channels

doi:10.1016/j.tcs.2012.03.002

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

	Value-passing CCS with noisy channels
	Huang, Shuqin ; Cao, Yongzhi ; Wang, Hanpin ; Qu, Wanling
刊名	理论计算机科学
	2012
关键词	Barbed congruence Bisimilarity Noisy channel Probabilistic modal logic Value-passing CCS EXPANSIVE EPSILON-BISIMULATIONS MOBILE PROCESSES PROBABILISTIC PROCESSES INFORMATION LEAKAGE PI-CALCULUS SYSTEMS COMMUNICATION VERIFICATION EQUIVALENCES HIERARCHY
DOI	10.1016/j.tcs.2012.03.002
英文摘要	Value-passing CCS, a full version of Milner's CCS, is a process algebra in which actions consist of sending and receiving values through noiseless communication channels. The full calculus is a succinct yet expressive language for the specification and verification of reactive systems. Taking into account the reality of channel noise in reactive systems, in this paper we introduce an extension of value-passing CCS, called value-passing CCS with noisy channels (VCCSN), in which noise is described by a probability distribution over the values. After presenting the reduction operational semantics and labelled operational semantics of VCCSN, we develop the theory of behavioural equivalence by introducing barbed equivalence, barbed congruence, bisimilarity, and full bisimilarity. In particular, we show that barbed equivalence and barbed congruence coincide with bisimilarity and full bisimilarity, respectively. Based upon the labelled operational semantics of VCCSN, we establish a probabilistic modal logic for expressing system properties and show its connection with the notion of bisimilarity. Finally, we use VCCSN to model a communication protocol for ensuring the reliable transmission of data across an error-prone channel. (C) 2012 Elsevier B.V. All rights reserved.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000303489300003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Theory & Methods; SCI(E); EI; 3; ARTICLE; 43-59; 433
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/233458]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Huang, Shuqin,Cao, Yongzhi,Wang, Hanpin,et al. Value-passing CCS with noisy channels[J]. 理论计算机科学,2012.
APA	Huang, Shuqin,Cao, Yongzhi,Wang, Hanpin,&Qu, Wanling.(2012).Value-passing CCS with noisy channels.理论计算机科学.
MLA	Huang, Shuqin,et al."Value-passing CCS with noisy channels".理论计算机科学 (2012).