一种基于条件Pi演算的组合服务柔性演化模型

刘涛,曾国荪

Model for Flexible Evolution of Composite Services Based on Conditional Pi Calculus

LIU Tao ,ZENG Guo-sun

计算机科学 . 2011, (Z10): 230 -238 .