进程创建的语义及等价性

作     者：袁春 陈意云 YUAN Chun;CHEN Yi-Yun

作者机构：中国科学技术大学计算机科学与技术系合肥230027 

基　　金：国家自然科学基金!( 69773 0 2 5 ) 教育部博士点基金!( 980 3 5 82 8) 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2000年第23卷第8期

页      码：877-881页

摘      要：针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这样便可以定义适当的语义复合运算 ,在对命令的指称进行复合时根据变迁类型的不同对变迁迹进行串行或交错连接 ,恰当地反映了进程的并发运行受到创建命令在程序中的相对位置的限制 .

主 题 词：进程创建 语义 等价性 程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.2000.08.017

馆 藏 号：203673624...