微型机与应用2010，Vol.29Issue(22)：62-64,3.
基于π演算的BPEL组合服务的形式化描述及验证
Formal description and verification of π-calculus based BPEL service composition
夏红星1
作者信息
- 1. 江苏靖江教师进修学校,江苏,泰州,214500
- 折叠
摘要
关键词
BPEL服务/π演算/形式化描述/验证分类
信息技术与安全科学引用本文复制引用
夏红星..基于π演算的BPEL组合服务的形式化描述及验证[J].微型机与应用,2010,29(22):62-64,3.
