| 2008 |
|---|
| 8 | EE | Li Bao,
Weishi Zhang,
Xiuguo Zhang:
Describing and Verifying Web Service by CCS on a Case Study.
ICNSC 2008: 1571-1576 |
| 2006 |
|---|
| 7 | | Yong Yang,
Weishi Zhang,
Xiuguo Zhang,
Jinyu Shi:
A weighted ranking algorithm for facet-based component retrieval system.
ACST 2006: 274-279 |
| 6 | EE | Xiuguo Zhang,
Weishi Zhang:
CCML: A Novel Service Composition Language.
IAT Workshops 2006: 109-112 |
| 5 | EE | Xiuguo Zhang,
Yingjun Zhang:
CCM: A Cooperative Computation Model of Services.
IMSCCS (1) 2006: 632-638 |
| 4 | EE | Weishi Zhang,
Xiuguo Zhang:
Modeling Service Interactions Using Kahn Process Network.
PDCAT 2006: 203-208 |
| 3 | EE | Xiuguo Zhang,
Weishi Zhang:
A Cooperative Service Composition Language and Its Formal Semantics.
PDCAT 2006: 333-338 |
| 2 | EE | Li Bao,
Weishi Zhang,
Xiuguo Zhang:
Describing and Verifying Web Service Using CCS.
PDCAT 2006: 421-426 |
| 2005 |
|---|
| 1 | EE | Xiuguo Zhang,
Weishi Zhang,
Jinyu Shi:
A KPN Based Cooperative Composition Model of Services.
GCC 2005: 102-110 |
