Concurrent language based on Milner's pi calculus
