loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Network Computing and Applications, Third IEEE International Symposium on (NCA'04)
The Nepi Network Programming System: A Programming Environment for Distributed Systems
Boston, Massachusetts
August 30-September 01
ISBN: 0-7695-2242-4
ASCII Text
x 
 
Ken Mano, Yoshinobu Kawabe, "The Nepi Network Programming System: A Programming Environment for Distributed Systems," Network Computing and Applications, IEEE International Symposium on, pp. 287-292, Network Computing and Applications, Third IEEE International Symposium on (NCA'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/NCA.2004.1347788,
author = {Ken Mano and Yoshinobu Kawabe},
title = {The Nepi Network Programming System: A Programming Environment for Distributed Systems},
journal ={Network Computing and Applications, IEEE International Symposium on},
volume = {0},
year = {2004},
isbn = {0-7695-2242-4},
pages = {287-292},
doi = {http://doi.ieeecomputersociety.org/10.1109/NCA.2004.1347788},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Computing and Applications, IEEE International Symposium on
TI - The Nepi Network Programming System: A Programming Environment for Distributed Systems
SN - 0-7695-2242-4
SP287
EP292
A1 - Ken Mano,
A1 - Yoshinobu Kawabe,
PY - 2004
KW - null
VL - 0
JA - Network Computing and Applications, IEEE International Symposium on
ER -
 
Ken Mano, NTT Corporation, Japan
Yoshinobu Kawabe, NTT Corporation, Japan
The π-calculus is a formal system to analyze distributed systems. This paper 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.
Citation:
Ken Mano, Yoshinobu Kawabe, "The Nepi Network Programming System: A Programming Environment for Distributed Systems," nca, pp.287-292, Network Computing and Applications, Third IEEE International Symposium on (NCA'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.