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
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;
Conference_Titel :
Network Computing and Applications, 2004. (NCA 2004). Proceedings. Third IEEE International Symposium on
Print_ISBN :
0-7695-2242-4
DOI :
10.1109/NCA.2004.1347788
