Global consensus through local synchronization: A formal basis for partially-distributed coordination