Descripción de las primitivas de PVM