25 Sep 2011 pi-calculus scala
Presented at: XIV Simpósio Brasileiro de Métodos Formais (SBMF 2011), September/2011.