Applications of the calculus of trees to process description languages