Especificaciones contínuas de problemas distribuidos
Ponente(s): Hugo Rincón Galeana, Sergio Rajsbaum
Se introduce la noción de “tarea continua” , una nueva forma de especificar un problema distribuido, mediante un mapeo
entre dos politopos, y una demostración de que la clase
de problemas que pueden resolver los algoritmos distribuidos libre de espera son exactamente
las tareas continuas. Se describe la relación con el celebre Teorema de Compatibilidad Libre de Espera
de Herlihy y Shavit.