Issue No. 09 - Sept. (2012 vol. 61)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2011.147
Yongzhi Cao , Peking University, Beijing
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.
Approximate bisimulation, asynchronous \pi-calculus, bisimilarity, noisy channel, reliability.
Y. Cao, "Reliability of Mobile Processes with Noisy Channels," in IEEE Transactions on Computers, vol. 61, no. , pp. 1217-1230, 2011.