La concurrencia y movilidad tiene cada vez mayor presencia en el desarrollo de software. Los lenguajes de programación tienden a incluirlas como abstracciones fundamentales para estructurar soluciones. Esta materia optativa tiene por finalidad presentar la teoría detrás de la concurrencia y la movilidad en su manifestación más pura. El enfoque se basa en la presentación de lenguajes de programación minimales representativos de la concurrencia y la movilidad. Ello permite formular y verificar sus propiedades con rigurosidad. Se espera que una formación sólida en estos fundamentos permitirá al programador tener un visión más profunda al utilizar lenguajes de programación concurrentes o que ofrezcan primitivas de movilidad.

Organización

Docentes: Eduardo Bonelli y Hernán Melgratti
Correlativa: Paradigmas de Lenguajes de Programación
Modalidad: Clases teóricas y prácticas
Horario:
  • Teórica: Martes de 17 a 20hs.
  • Práctica: Horario a designar.

Novedades

29/Oct/10 Se subió la quinta clase de Pi-Cálculo
25/Oct/10 Se subió la cuarta clase de Pi-Cálculo
12/Oct/10 Se subió la tercera clase de Pi-Cálculo y la práctica 7
09/Oct/10 Se subió la segunda clase de Pi-Cálculo y la práctica 6
01/Oct/10 Se subió la primera clase de Pi-Cálculo y la práctica 5
17/Sep/10 Se subió la clase de bisimilaridad débil y upto en CCS y la práctica 3
15/Sep/10 Se subió la clase de coinducción y la práctica 2
17/Ago/10 Clase inaugural