江西科学2014，Vol.32Issue(6)：878-883,6.DOI:10.13990/j.issn1001-3679.2014.06.030
基于进程代数WS-CDL交互模式建模研究
Modeling the Patterns of WS-CDL Interactions Based on Process Algebra
袁晓月 1万珍珍 1冯星1
作者信息
- 1. 江西省科学院应用物理研究所,330029,南昌市
- 折叠
摘要
关键词
WS-CDL/进程代数/形式化方法分类
信息技术与安全科学引用本文复制引用
袁晓月,万珍珍,冯星..基于进程代数WS-CDL交互模式建模研究[J].江西科学,2014,32(6):878-883,6.
