DocumentCode
1659354
Title
The Nepi network programming system: a programming environment for distributed systems
Author
Mano, Ken ; Kawabe, Yoshinobu
Author_Institution
NTT Commun. Sci. Labs., NTT Corp., Atsugi, Japan
fYear
2004
Firstpage
287
Lastpage
292
Abstract
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.
Keywords
distributed programming; pi calculus; programming environments; synchronisation; transport protocols; Nepi language; distributed systems; formal system; network communication program; network programming system; pi-calculus; symmetric systems; Computer applications; Computer languages; Computer networks; Humans; Information analysis; Information science; Programming environments; Programming profession; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Network Computing and Applications, 2004. (NCA 2004). Proceedings. Third IEEE International Symposium on
Print_ISBN
0-7695-2242-4
Type
conf
DOI
10.1109/NCA.2004.1347788
Filename
1347788
Link To Document