Theory and new primitives for safely connecting routing protocol instances