Foss, L., & Ribeiro, L. 2004 jul 31. A Translation from Object-Based Hypergraph Grammars into π-Calculus. Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC). [Online] :