Nepi: syntax, semantics and implementation

摘要

We propose a network programming language called Nepi. Nepi is based on the π-calculus, a formal system for describing concurrent systems. Compared with other programming languages based on the π-calculus, It allows generalized guarded choice including output prefixing, and stream input/output can be treated as communication via channel. Nepi is implemented as a rendezvous-style communication package on Allegro Common Lisp using its multi-threading and socket communication libraries. We present the syntax and reduction semantics of Nepi, and describe a distributed implementation.