nu-calculus

An asynchronous version of pi-calculus.