[ 登录/注册 ] 购物车(0)
期刊大全 杂志订阅 SCI期刊 期刊投稿 出版社 公文范文 精品范文
摘要：描述了将Web服务业务流程执行语言（BPEL4WS）映射到π-演算的自动映射方法，对得到的π-演算表达式利用移动工作台（MWB）进行死锁验证，并给出一个具体示例。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
北大期刊 下单
国际刊号：1000-3428
国内刊号：31-1289/TP
国际刊号：1672-5913
国内刊号：11-5006/TP
国际刊号：1000-3266
国内刊号：11-2124/TP
国际刊号：1008-1739
国内刊号：13-1223/TN
国际刊号：1006-2343
国内刊号：31-1382/TH
多年专注期刊服务，熟悉发表政策，投稿全程指导。因为专注所以专业。
推荐期刊保障正刊，评职认可，企业资质合规可查。
诚信服务，签订协议，严格保密用户信息，提供正规票据。
如果发表不成功可退款或转刊。资金受第三方支付宝监管，安全放心。
