mutex: mailbox of NIL
final: integer
mensajes: mailbox of TMensaje;

procedure enviar_sinc_mult(cant_destinos: in integer, mensaje: in TMensaje)
    recibir(mutex,m)
    final = cant_destinos+1
    for i in 1..cant_destinos:
        enviar(mensajes, mensaje)
        pass
    final--;
    while final!=0:
        pass
    enviar(mutex,NIL)
end procedure

procedure recibir_sinc_mult(mensaje: out TMensaje)
    recibir(mensajes, mensaje)
    final--;
    while final!=0:
        pass
end procedure
#Estaría utilizando mailbox infinito con recibir bloqueante