首页|期刊导航|计算机工程与应用|基于Pi-演算的WS-CDL编舞的描述和验证

基于Pi-演算的WS-CDL编舞的描述和验证

靖红叶余雪丽

计算机工程与应用2008，Vol.44Issue(13)：39-43,5.

基于Pi-演算的WS-CDL编舞的描述和验证

Specification and verification of WS-CDL choreography based on H-calculus

靖红叶 ¹余雪丽¹

作者信息

1. 太原理工大学,计算机与软件学院,太原,030024
折叠

摘要

关键词

验证/Pi-演算/WS-CDL/Web服务组合

分类

计算机与自动化

引用本文复制引用

靖红叶,余雪丽..基于Pi-演算的WS-CDL编舞的描述和验证[J].计算机工程与应用,2008,44(13):39-43,5.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.60472093). （the National Natural Science Foundation of China under Grant No.60472093）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航