基于类型化Pi-演算的Web服务组合相容性检测

基于类型化Pi-演算的Web服务组合相容性检测

刘荣胜黄邵高春鸣

Checking Compatability of Web Services Composition

ChunMing Gao Gao

计算机工程与应用 . 2007, (7): 120 -124 .