Los sistemas computacionales distribuidos operan a través de múltiples nodos interactuantes que coordinan la evolución del estado bajo restricciones como la demora de comunicación, información parcial y falla de nodos. Los análisis tradicionales de la computación distribuida se centran en la corrección algorítmica, garantías de convergencia y tolerancia a fallos. Este documento introduce una interpretación estructural basada en el Sistema Paton. Dentro de este marco, la persistencia computacional distribuida depende de la admissibilidad de los estados de los nodos y la alcanzabilidad de trayectorias de coordinación a través de la red. Un sistema distribuido continúa existiendo solo mientras al menos un camino de continuación admissible permanezca disponible entre los nodos participantes. Cuando la coordinación admissible colapsa, la computación distribuida transita hacia estados de partición, interbloqueo o terminación. Esta interpretación replantea la estabilidad computacional distribuida como una propiedad de los corredores de continuación admissibles en lugar de un diseño algorítmico exclusivo. El resultado proporciona una cuenta estructural neutral en el dominio de la persistencia computacional distribuida y extiende las instanciaciones de dominio de Nivel 7 del Sistema Paton en la teoría de sistemas distribuidos.
Andrew John Paton (Sun,) estudió esta cuestión.