Especificaciones contínuas de problemas distribuidos

Autor: Hugo Rincón Galeana
Coautor(es): 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.