• 20080630: Exámen para la casa.
• 20080610: Laboratorio 3 en línea (es para entregar).
• 20080603: Laboratorio 2 en línea.
• 20080508: Laboratorio 1 en línea.
• 20080505: Práctico 3 en línea.
• 20080430: Modificación de demostración de un ciclo y colgado del ejercicio 4 práctico 2. Link al artículo de como transformar un productor consumidor para implementarlo con semáforos.
• 20080422: Práctico 2 en línea: demostraciones a posteriori de programas concurrentes.
• 20080417: Laboratorio 0: program topology.
• 20080410: Ejemplo de demostración de programa secuencial con un ciclo.
• 20080407: Libro "Cálculo de Programas" en línea.
• 20080403: Práctico 1 en línea.
• 20080402: Grupo de discusión abierto.
• 20080401: Comenzamos el curso.

• Profesores a cargo de la materia: Javier Blanco y Nicolás Wolovick.
• Las clases son los martes y jueves de 18 a 20hs, desde el martes 1 de Abril al jueves 19 de Junio.
• Calendario de clases.
• Lista de email. ¡Inscribirse antes que la cerremos!

• Práctico 0: Algunos problemas de Concurrencia.
• Guía de Lectura 0: Capítulo 1 de "Java Concurrency in Practice".
• Práctico 1: Verificación de programas secuenciales.
• Laboratorio 0: Program Topology, y su código.
• Práctico 2: Verificación a posteriori de programas concurrentes.
  Para el martes 29 de Abril deberán entregar resuelto el Ejercicio 5 en grupos de a lo más 3 integrantes.
• Guía de Lectura 1: Capítulo 2 de "Java Concurrency in Practice".
• Práctico 3: Sincronización y Progreso.
  Entregar resuelto los ejercicios 2 y 3 en grupos de a lo más 3 integrantes.
• Laboratorio 1: PidTable, y su código.
• Laboratorio 2: FindDuplicates, y su código.
• Laboratorio 3: SingleLaneBridge, y su código.
  • Este laboratorio forma parte de la calificación de la materia.
  • Entregarlo antes del jueves 10 de Julio. Grupos de hasta 3 personas.
• Exámen para la casa: TakeHome.
  • Este práctico forma parte de la calificación de la materia.
  • Entregarlo antes del jueves 24 de Julio. Grupos de hasta 3 personas.
• Coloquio individual final para el ? de Julio.

• Goetz B., Java Concurrency in Practice, Addison-Wesley, 2006.
• Feijen W.H.J., van Gasteren A.J.M., On a Method of Multiprogramming, Springer, 1999.

• Edward Lee, The Problem with Threads, University of California, Berkeley Technical Report No. UCB/EECS-2006-1, 2006.
• Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008.
  Ver capítulos 2,3,5,6 para cuestiones de lógica en general y capítulos 16 al 19 para corrección total de Hoare {P}S{Q}.
• Javier Blanco, Ejemplo de demostración de programa secuencial con un ciclo, dado en la clase del día martes 8 de Abril.
• Nicolás Wolovick, Resolución del Ejercico 4, Práctico 2, versión alternativa de la demostración dada en la clase del jueves 24 de Abril.
• Javier Blanco, Nicolás Wolovick, Strengthen, Widen, Get Semaphores, WAIT2003, 32 JAIIO, Buenos Aires, Argentina, Septiembre 2003.
• E.W. Dijkstra, A Tutorial on the Split Binary Semaphore, EWD703, 1979.
• Damián Barsotti, Javier Blanco, Automatic Refinement of Split Binary Semaphore (extended version), Reporte Técnico, Fa.M.A.F.-U.N.C., 2007.