Ata do XVII colóquio de Iniciação Científica
do IME-USP (2003) Trabalho: PiG - Pi-Calculus Gráfico
WMF - Workshop on Formal Methods (2003)
Trabalho: Um ambiente para Especificação e Verificação
de Agentes Móveis (Poster)
Co-Autores: Ana C. V. de Melo e Marcelo de Moura Amorim
.
Ata
do 10 SIICUSP - Simpósio Internacional de Iniciação
Científica(2002)
Trabalho: PiG - Pi-Calculus Gráfico
.