PiStache: Implementing π-Calculus in Scala. - Pedro Matiello; Ana Cristina Vieira de Melo (SBMF, 2011)