Título : Desenvolvimento Sistemático de Programas Concorrentes Orientados a Objetos
Documento com as regras de refinamento investigadas
Relatório De Iniciação Científica(Julho/98 a Julho/99)
Professor Orientador : Paulo Henrique Monteiro Borba (phmb@di.ufpe.br)
Aluno : Gibeon Soares de Aquino Júnior (gsaj@di.ufpe.br)