@inproceedings{inproceedings6d8ba6bc,
title   = {Pro: uma ferramenta para prototipacao de programas concorrentes},
author = {Kinoshita, Jorge and José Neto, João},
year = {1992},
publisher = {Instituto de Informatica da Ufrgs},
booktitle   = {Simposio Brasileiro de Engenharia de Software}
}