|
Published Articles >> Table of Contents >> Abstract
Network Computing and Applications, Third IEEE International Symposium on (NCA'04)
pp. 287-292
The Nepi Network Programming System: A Programming Environment for Distributed Systems
Ken Mano, NTT Corporation, Japan
Yoshinobu Kawabe, NTT Corporation, Japan
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/NCA.2004.1347788
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
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
|
|
