En este curso se tratan los siguientes aspectos de los sistemas distribuídos y concurrentes: modelos y patrones de diseño y programación, tolerancia a fallos, validación y verficiación formales, evaluación del rendimiento.