====== Contenidos de la asignatura ======
  * {{:misdatos:pc:00presentacionasignatura.pdf|Presentación de la asignatura}}
  * {{:misdatos:pc:01.pdf|Lenguaje algorítmico para programas secuenciales}}
  * {{:misdatos:pc:02.pdf|Conceptos básicos de PC}}
  * {{:misdatos:pc:03.pdf|Concurrencia y sincronización}}
  * {{:misdatos:pc:04.pdf|Semántica de la composición concurrente}}
  * {{:misdatos:pc:05.pdf|Técnicas para asegurar ausencia de interferencias}}
  * {{:misdatos:pc:06.pdf|Propiedades de un programa concurrente}}
  * {{:misdatos:pc:07.pdf|Sincronización de procesos. El problema de la sección crítica}}
  * {{:misdatos:pc:08.pdf|Sincronización por barrera}}
  * {{:misdatos:pc:09.pdf|Programación concurrente con semáforos}}
  * {{:misdatos:pc:10.pdf|Ejemplos de programación con semáforos}}
  * {{:misdatos:pc:11.pdf|Sincronización mediante monitores}}
  * {{:misdatos:pc:12.pdf|Ejemplos de programación con monitores}}
  * {{:misdatos:pc:13.pdf|Introducción a la programación distribuída}}
  * {{:misdatos:pc:14.pdf|Programación mediante paso asíncrono de mensajes}}
  * {{:misdatos:pc:14bis.pdf|El modelo de coordinación Linda}}
  * {{:misdatos:pc:15.pdf|Programación mediante paso síncrono de mensajes}}

----
  * {{:misdatos:pc:introada.pdf|Apéndice: Rápida (y parcial) introducción a la concurrencia con Ada}}
  * {{:misdatos:pc:introjava.pdf|Apéndice: Rápida (y parcial) introducción a la concurrencia con Java}}
  * {{:misdatos:pc:introduccion_al_model_checking.pdf|Introducción al "Model Checking"}}