|国家科技期刊平台
| 注册
首页|期刊导航|数字技术与应用|利用Pi演算实现对服务交互流程的设计

利用Pi演算实现对服务交互流程的设计

刘亚亚 姜久雷

数字技术与应用Issue(4)：166,1.
✕
数字技术与应用Issue(4)：166,1.

利用Pi演算实现对服务交互流程的设计

刘亚亚 1姜久雷1

作者信息

  • 1. 北方民族大学计算机科学与工程学院,宁夏银川 750021
  • 折叠

摘要

关键词

Pi演算/服务交互流程/形式化语义

分类

信息技术与安全科学

引用本文复制引用

刘亚亚,姜久雷..利用Pi演算实现对服务交互流程的设计[J].数字技术与应用,2016,(4):166,1.

数字技术与应用

1007-9416

访问量0
|
下载量0
段落导航相关论文