A specification of a PROWAY protocol with an Algebraic language