By Topic

The Nepi network programming system: a programming environment for distributed systems

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

2 Author(s)
K. Mano ; NTT Commun. Sci. Labs., NTT Corp., Atsugi, Japan ; Y. Kawabe

The π-calculus is a formal system to analyze distributed systems. This work provides a π-calculus-based network programming system Nepi, which enables us to execute a formula of the π-calculus as a real communicating program in a network. After introducing the Nepi language and its implementation, we show a programming example in Nepi. We also discuss an efficient programming style of Nepi and applicability of Nepi to symmetric systems.

Published in:

Network Computing and Applications, 2004. (NCA 2004). Proceedings. Third IEEE International Symposium on

Date of Conference:

30 Aug.-1 Sept. 2004