Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model. - Sok-Min Han; Un-Chol Pang; Hyok-Chol Choe; Chol-Jun Hwang (CoRR, 2015)