IF113 - Concorrência

 

Pré-requisitos

1. Algoritmos e Estruturas de Dados, IF096

Ementa

1. Conceitos básicos de concorrência
2. Modelo de processos concorrentes e comu nicantes
3. Paradigmas de linguagens de programação concorrente
4. Compartilha mento de recursos
5. Comunicação
6. Modelos para especificação de concorrência
7. Estudo de casos

Referências

1. Gehani, N. and McGettrick, A.D. (eds.).: `CONCURRENT PROGRAMMING', Addison-Wesley, Wokingham, England, 1988.
2. HOARE, C.A.R.: `COMMUNICATING SEQUENTIAL PROCESSES', Prentice-Hall International, 1985
3. HENNESSY, Matthew.: 'ALGEBRAIC THEORY OF PROCESSES', MIT Press, 1988
4. MILNER, Robin: `COMMUNICATION AND CONCURRENCY', Prentice-Hall, 1989.