Library for \pi-calculus in Scala