@mastersthesis{mastersthesis5ee02c09,
title   = {Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento},
author = {Amorim, Marcelo de Moura and Melo, Ana Cristina Vieira de},
year = {2003},
school = {Universidade de São Paulo}
}