Contenidos de la asignatura
Presentación de la asignatura
Lenguaje algorítmico para programas secuenciales
Conceptos básicos de PC
Concurrencia y sincronización
Semántica de la composición concurrente
Técnicas para asegurar ausencia de interferencias
Propiedades de un programa concurrente
Sincronización de procesos. El problema de la sección crítica
Sincronización por barrera
Programación concurrente con semáforos
Ejemplos de programación con semáforos
Sincronización mediante monitores
Ejemplos de programación con monitores
Introducción a la programación distribuída
Programación mediante paso asíncrono de mensajes
El modelo de coordinación Linda
Programación mediante paso síncrono de mensajes
Apéndice: Rápida (y parcial) introducción a la concurrencia con Ada
Apéndice: Rápida (y parcial) introducción a la concurrencia con Java
Introducción al "Model Checking"