Sistema paralelo

Lógica para Concorrência e Sincronização (LOCUS)
Projeto ProTeM-CC/CNPq (Fase III)
Processo Institucional No. 680067/95-7
Áreas: Teoria da Computação e Sistemas Distribuídos
Relatório Parcial.
Índice
1. Identificação
2. Conteúdo
2.1 Resumo do Projeto
2.2 Linhas de Pesquisa
3. Principais Resultados
3.1 Resultados Obtidos em Função dos Pretendidos
3.2 Conhecimentos Adquiridos
3.3 Dificuldades Operacionais
3.4 Aplicabilidade
3.5 Efeito Multiplicador
3.6 Incorporação de Técnicas
3.7 Geração de Produtos e Processos
3.8 Formação de Recursos Humanos
3.9 Interação Inter e Intra-Institucional
4. Equipe Técnica
4.1 Melhoria e Nível de Qualificação
4.2 Teses e Dissertações Concluídas e em Andamento
4.3 Participação em Eventos Técnicos-Científicos
4.4 Geração de Publicações e Patentes
4.5 Situação dos Bolsistas
4.6 Consumo e Aplicação dos Recursos
5. Conclusões
1. Identificação
Título do Projeto: Lógica para Concorrência e Sincronização
Sigla: LOCUS
Processo Institucional No. 680067/95-7 (CNPq)
Início do Projeto: Dezembro de 1996
Término do Projeto: Dezembro de 1998
Relatório das Atividades no Período: Dezembro/1996 a Abril/1998.
Instituições Participantes:
• Departamento de Informática, Universidade Federal de Pernambuco (DI-UFPE)
• Departamento de Ciência da Computação, Univ. Federal de Alagoas (DCC-UFAL)
• Lab. de Sistemas Distribuídos, Universidade Federal da Bahia (LaSiD-UFBA)
• COPPE/Sistemas, Universidade Federal do Rio de Janeiro (COPPE-UFRJ)
Coordenador Geral:
Ruy José Guerra Barretto de Queiroz, DI-UFPE.
Coordenadores Locais:
• DCC-UFAL: Adolfo Gustavo Serra Sêca Neto
• LaSiD-UFBA: Raimundo José de Araújo Macêdo
• COPPE-UFRJ: Mario Roberto Folhadela Benevides
2. Conteúdo
2.1 Resumo do Projeto
A necessidade da utilização de técnicas de especificação formal para sistemas distribuídos deve-se principalmente à complexidade inerente a esse tipo de sistema. A utilização de descrições informais podem levar a