• value-passing ccs - 引用次数：5

  The modeling method and implementing algorithm are presented based on value-passing CCS in this thesis. The modeling of an example is included as well as the verification of its unlocked property.

  本文给出了对BPEL4WS建立基于传值CCS形式化模型的方法和具体实现算法,并对一个实例进行建模还验证无死锁的性质。

  参考来源 - 基于进程代数的Web服务数据和组合的形式化方法研究

·2,447,543篇论文数据，部分数据来源于NoteExpress