并行程序表征的语义发展趋势探析

摘要：

并行理论是解决串行理论瓶颈的途径,而表征是解决并行理论瓶颈的前提.文章在分析Ada语言、Occam语言、Petri网等主流并行程序语言的表征特征基础上,提出并行程序表征将以解决语义问题为发展趋势.

关键词：并行程序、表征、语义

所属期刊栏目：29

分类号：N02(科学的哲学原理)

资助基金："国家社会科学基金重点项目"12AZX004

在线出版日期：2012-11-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：15-22