The Virtual Infrastructure in ROBO is implemented through the following high-level procedures.