An implementation of the π-calculus on the .NET

Abstract

Here, we show how to refine the grammar of the π-calculus so that we can implement the Ti-calculus by decomposing a given process expression into a hierarchy whose nodes are responsible to communicate links and execute the basic actions specified in the process expression. The nodes in the hierarchy add new child nodes when they need to handle lower-level process expressions. They are removed from the hierarchy when the processes assigned to them are completed. Hence, the hierarchy for executing a process expression of the π-calculus grows and shrinks dynamically at runtime. We implement the nodes with concurrently executing threads in the managed C++ on Microsoft .NET. The communication requests from the nodes are coordinated and resolved with a class named communCenter. Thus, we present an operational semantics for the π-calculus and implement the semantics in the .NET. © JOT, 2005.