Procedimientos

El procedimiento permite el cambio de valor de distintos argumentos. De hecho, la función es un procedimiento que devuelve un único valor
Los argumentos puede ser: in, out, inout
Los objetos pueden ser señales o variables. Recordar que, objetos declarados como variables sólo pueden ser llamados desde procesos (¡no concurrente!)

Formato

procedure <nombreProced> --Declaración
[([...]: in type_[...]...)];
procedure <nombreProced> --Cuerpo
begin
secuencia de instrucciones;
end;

Ejemplo: Ordenación de valores. Se utiliza un procedimiento creado en un package (es el ejemplo ya mostrado en el apartado 1)