Un sustrato de ejecución determinista para agentes autónomos distribuidos: formalizando la red cero con transiciones de estado verificables | Synapse