位置：成果数据库 > 期刊 > 期刊详情页
并发计算的元模型Ⅱ.对称通信
  • ISSN号：1006-2467
  • 期刊名称：《上海交通大学学报》
  • 时间：0
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：上海交通大学计算机科学与工程系
  • 相关基金：国家自然科学基金!(69873032);国家863高科技!(863-306-ZT06-02-2)资助项目
作者： 傅育熙
关键词： 并发计算理论, 进程代数, 元模型, 对称通信, π演算
中文摘要：

在并发计算图模型的基础上，提出了并研究了一新的进程演算，该演算的创新处在于它只有在业前缀操作，故通信是对称的，通过建立从ｐｉ演算到对称ｐｉ演算的翻译，证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义，又保持其代数语义，对称ｐｉ算的意义在于它既简化了ｐｉ演算，又不影响其表达能力。

同期刊论文项目
并发计算模型Ｘ－演算的理论研究
期刊论文 2
　乙烯三聚制1-己烯新型催化体系及成套工艺技术
期刊论文 14
同项目期刊论文
并发计算的元模型Ⅲ.互模拟格
分布式服务拒绝攻击的原理及防范措施
并发计算的元模型Ⅲ.互模拟格
Q-学习算法在CGF系统中的应用
Internet环境下分布式网络个人助理系统设计与实现
C^3I系统仿真方法及应用研究
一种新的RAID结构快速扩展方法
N—gram语言模型的数据平滑技术
分布式事务处理技术及其模型
OpenGL在空心曲轴设计系统中的应用
数字化装备作战仿真系统的研究
基于软构件的应用服务器框架及其组件管理器的研究
语句级汉字输入系统中语义规则研究
统计语言模型中词的自动聚类技术研究
期刊信息
  • 《上海交通大学学报》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:上海交通大学
  • 主编：郑杭
  • 地址：上海市华山路1954号15F
  • 邮编：200030
  • 邮箱：shjt@chinajournal.net.cn
  • 电话：021-62933373 62932534
  • 国际标准刊号：ISSN：1006-2467
  • 国内统一刊号：ISSN：31-1466/U
  • 邮发代号:4-256
  • 获奖情况:
  • 1996年全国优秀科技期刊奖,1992年、1996年、1999年国家教育部系统优秀科技期刊奖,2002年“百种重点期刊奖”,2003年百种中国杰出学术期刊,2004年教育部全国高校优秀科技期刊一等奖,2004年“百种重点期刊奖”
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:30903