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.