@mastersthesis{mastersthesis6a171d35,
title   = {Uma ferramenta para a construção de protótipos de programas concorrentes},
author = {Kinoshita, Jorge and José Neto, João},
year = {1991},
school = {Universidade de São Paulo}
}