Pistache: A π-Calculus Internal Domain Specific Language for Scala

E54f4140dc133a17200fe7a104c33a8e?s=47 Pedro Matiello
September 26, 2011

Pistache: A π-Calculus Internal Domain Specific Language for Scala

Presented at: XIV Simpósio Brasileiro de Métodos Formais (SBMF 2011), September/2011.

E54f4140dc133a17200fe7a104c33a8e?s=128

Pedro Matiello

September 26, 2011
Tweet