nu-calculus

nu-calculus

An asynchronous version of pi-calculus.