github.com/nickng/asyncpi (go): Package asyncpi provides a simple library to work with π-calculus.  The asyncpi package consists of a parser of asynchronous π-calculus and Go code generator to execute the calculus.  The basic syntax of the input language is as follows:  The input language accepted is slightly more flexible with some syntactic sugar. For instance, consecutive new scope can be grouped together, for example:  Which is equivalent to:  Another optional syntax accepted in the input language is type annotations on the names being created. This feature is mainly designed for code generation. The following annotation attaches the type int to the name i.  However, the annotation is only a hint, the type inference may assign i with a different type if its usage does not match the annotation.  Since i is used as a channel, i cannot be of type int, the annotation is therefore ignored.
Keywords: pi-calculus|research