Provisioning virtual resources adaptively in elastic compute cloud platformsFan ZhangJunwei Caoet al.2011IJWSR
BPSL Modeler - Visual Notation Language for Intuitive Business Property ReasoningKe XuYing Liuet al.2008Electronic Notes in Theoretical Computer Science
Pi calculus-based bitransformation of state-driven model and flow-driven modelKe XuYing Liuet al.2006International Journal of Business Process Integration and Management