By Topic

Reliability of Mobile Processes with Noisy Channels

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Yongzhi Cao ; Peking University, Beijing

To model the behavior of channels in real-world mobile systems, Ying introduced an extension of the π-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 π-calculus in the noise-free case. In this paper, we consider a simple variant of the π-calculus, the asynchronous π-calculus (Aπ), 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π, called the Aπn-calculus. After giving a probabilistic transitional semantics of Aπn, we introduce bisimilarity in Aπn and show that it is a partial input congruence. If a specification of a system is described as a process P in Aπ and we view the behavior of P in Aπn as an implementation of the specification, then it is interesting to measure how far the behavior in Aπn is from that in Aπ. 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.

Published in:

IEEE Transactions on Computers  (Volume:61 ,  Issue: 9 )