位置：成果数据库 > 期刊 > 期刊详情页
A Linear Logic Representation for BPEL Process Protocol
  • 期刊名称：Applied Mathematics &Information Sciences
  • 时间：0
  • 页码：25-31
  • 语言：英文
  • 相关项目：大粒度Web服务组合验证研究
作者： Jian Wu|Lu Jin|
同期刊论文项目
大粒度Web服务组合验证研究
期刊论文 4 会议论文 19 专利 2 著作 2
同项目期刊论文
基于Skyline的QoS感知的动态服务选择
面向城市交通信息管理的语义发布/订阅模型
一种多层架构中基于统计学习的性能预测方法