Tema I: Introduccin a la programacin concurrente

o Motivacin de la programacin concurrente

o Recursos para programacin concurrente
o Interaccion entre procesos de un programa concurrente
o Patologas de programa concurrentes
Tema II: Primitivas de sincronizacin
o Comunicacin sncrona.
o Invocacin remota de procedimientos
o Semforos
o Regiones crticas
o Monitores
Tema III: Modelo Java de programacin concurrente
o Concurrencia con Java: Thread Java
o Concurrecia en Java: Sincronizacin
o Concurrencia con Java: Sincronizacin explcita
Tema IV: Arquitecturas y patrones para programacin concurrente
o Patrones de diseo

o Executor framework: Threads pool
o Tareas peridicas
Tema V: Mtodos formales de expresin de la corrurrencia
o Redes de Petri: Especificacin
o Redes de Petri: Analisis y validacin
o Redes de Petri: Implementacin