Yong-Lian Wang

Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service

Xue-Li Yu, Yong-Lian Wang, Xue-li Yu, 2009, 2009 Second International Symposium on Knowledge Acquisition and Modeling.