La información en este sitio web corresponde al curso académico 19/20. La información del curso 20/21 está accesible a través del correspondiente curso de moodle de la Universidad de Zaragoza

Material para el desarrollo de las sesiones en el aula:

• Lección 1: Introducción a la programación concurrente Transp Notas
• Lección 2: La programación concurrente Transp Notas
• Lección 3: Sincronización de procesos. El problema de la sección crítica Transp Notas
• Lección 4: Breve introducción a la lógica temporal y al “model checking” Transp Notas
• Lección 5: Sincronización de procesos mediante semáforos Transp Notas
• Lección 6: Ejemplos de programación con semáforos Transp Notas
• Lección 7: Sincronización de procesos mediante monitores Transp Notas
• Lección 8: Introducción a la programación distribuida Transp Notas
• Lección 9: Programación mediante paso síncrono de mensajes Transp Notas
• Lección 10: Coordinación mediante espacios de tuplas Transp Notas
• Lección 11: Algoritmos distribuidos Transp Notas
• Lección 12: Algoritmos de consenso Transp Notas
• Lección 13: Introducción a la programación de sistemas de tiempo real Transp Notas
• Lección 14: Programación dirigida por eventos Transp Notas