Vivacidad y Justicia en Entornos no Deterministas

El problema de la vivacidad y la selección justa surge en el contexto de los sistemas con ejecuciones no deterministas. El concepto de selección completamente justa sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se ejecutan infinitamente a menudo. Esta noción de selección presenta dos anomalı́as: la finitud justa y las conspiraciones. Este artı́culo se centra en la selección justa de interacciones en sistemas basados en interacciones entre múltiples participantes y presenta una nueva noción llamada selección completamente k–justa cuya principal ventaja sobre otras propuestas es que da solución a las dos anomalı́as de forma simultánea. Para ello, hemos descrito un marco de trabajo teórico para caracterizar los sistemas basados en interacciones entre múltiples participantes que hace independiente el criterio de selección del lenguaje de programación. También presentamos un algoritmo general para implementar la selección completamente k–justa de interacciones que no requiere acceder al estado local de los procesos del sistema.