En esta tesis, enmarcada en computación distribuida, se estudian diferentes modelos de comunicación distribuida construidos a partir de la combinación de rondas de modelos pre- existentes tales como broadcast, congest y ...

En este trabajo se estudia el modelo interactivo de verificación distribuida. En este modelo hay dos entidades: un probador con poder ilimitado, identificado como Merlín, y un verificador distribuido identificado como ...

El problema de clasificación de densidad en grafos consiste en encontrar una dinámica local tal que, dado un grafo y una configuración inicial de 0's y 1's asignada a los nodos del grafo, la dinámica converja a la configuración ...