The state operator in process algebra door J.O. Blanco