@article{articlecd94c667,
title   = {Uma ferramenta para o desenvolvimento de protótipos de programas concorrentes},
author = {Kinoshita, Jorge and José Neto, João},
year = {1993},
journal   = {Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais}
}