El problema de la simulación de sistemas se resuelve típicamente de manera secuencial debido al amplio e intensivo intercambio de variables por todas las partes del sistema. Proponemos una solución distribuida donde los procesos se comunican únicamente a través de mensajes con sus vecinos; no hay variables compartidas y no hay un proceso central para el enrutamiento de mensajes o la programación de procesos. Se evita el bloqueo en este sistema a pesar de la ausencia de control global. Cada proceso en la solución requiere solo una cantidad limitada de memoria. La corrección de un sistema distribuido se prueba demostrando la corrección de cada uno de sus procesos componentes y luego utilizando argumentos inductivos. La solución propuesta se ha encontrado empíricamente eficiente en estudios preliminares. El documento presenta pruebas formales y detalladas de corrección.
Chandy et al. (Sat,) estudiaron esta cuestión.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: