**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 {{contenidos:leccion1.pdf| Transp}} {{contenidos:leccion1notas.pdf| Notas}}
  * **Lección 2**: La programación concurrente {{contenidos:leccion2.pdf| Transp}} {{contenidos:leccion2notas.pdf| Notas}}
  * **Lección 3**: Sincronización de procesos. El problema de la sección crítica {{contenidos:leccion3.pdf| Transp}} {{contenidos:leccion3notas.pdf| Notas}}
  * **Lección 4**: Breve introducción a la lógica temporal y al "model checking" {{contenidos:leccion4.pdf| Transp}} {{contenidos:leccion4notas.pdf| Notas}}
  * **Lección 5**: Sincronización de procesos mediante semáforos {{contenidos:leccion5.pdf| Transp}} {{contenidos:leccion5notas.pdf| Notas}}
  * **Lección 6**: Ejemplos de programación con semáforos {{contenidos:leccion6.pdf| Transp}} {{contenidos:leccion6notas.pdf| Notas}}
  * **Lección 7**: Sincronización de procesos mediante monitores {{contenidos:leccion7.pdf| Transp}} {{contenidos:leccion7notas.pdf| Notas}}
  * **Lección 8**: Introducción a la programación distribuida {{contenidos:leccion8.pdf| Transp}}{{contenidos:leccion8notas.pdf| Notas}}
  * **Lección 9**: Programación mediante paso síncrono de mensajes {{contenidos:leccion9.pdf| Transp}}{{contenidos:leccion9notas.pdf| Notas}}
  * **Lección 10**: Coordinación mediante espacios de tuplas {{contenidos:leccion10.pdf| Transp}}{{contenidos:leccion10notas.pdf| Notas}}
  * **Lección 11**: Algoritmos distribuidos {{contenidos:leccion11.pdf| Transp}}{{contenidos:leccion11notas.pdf| Notas}}
  * **Lección 12**: Algoritmos de consenso {{contenidos:leccion12.pdf| Transp}}{{contenidos:leccion_12_notas.pdf| Notas}}
  * **Lección 13**: Introducción a la programación de sistemas de tiempo real {{contenidos:leccion13.pdf| Transp}}{{contenidos:leccion13notas.pdf| Notas}}
  * **Lección 14**: Programación dirigida por eventos {{contenidos:leccion14.pdf| Transp}}{{contenidos:leccion14notas.pdf| Notas}}