A Web Service Model Based on Partial Order Event Structure and its Formal Composition

• 一个基于偏序事件结构的Web服务模型及其形式化组装