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: Jueves de 17 a 20hs.
  • Consultas: Jueves de 20 a 22hs.
  • Práctica: Jueves de 16 a 17hs.

Novedades

04/Jun/13 Se subió la cuarta clase de Pi-Cálculo
28/May/13 Se subió la tercera clase de Pi-Cálculo
21/May/13 Se subió la segunda clase de Pi-Cálculo y la práctica 5
12/May/13 Se subió la primera de Pi-Cálculo y la práctica 4
06/May/13 Se subió la clase de bisimulación débil y técnicas upto en CCS y la práctica 3
21/Abr/13 Se subió la clase de coinducción y la práctica 2
12/Abr/10 Se subió la clase de equivalencia de comportamiento en CCS y la práctica 1
09/Abr/13 Se subió la intro y la primera clase
17/Feb/13 Clase inaugural será en 4 de abril en aula a designar