CSP语言的再继续语义  

作　　者：林洪[1] 王敏[2] 

机构地区：[1]中国科技大学计算机系,合肥230027 [2]中国科技大学电子工程和信息科学系

出　　处：《计算机科学》1996年第2期7-10,共4页Computer Science

基　　金：国家自然科学基金

摘　　要：并行程序的指称描述的基本技术的“再继续(Resumption)”。'Resumption' has been used for specifying parallel programs based on shared memory computational model;but fails to be applied to those based on message passing model,e. g. CSP (Communicating sequential process)language. In this paper ,a formalism of constraining the manner of interleaving the execution of commands in concurrent processes is presented,to make resumption qualified to specify CSP programs.

关 键 词：CSP语言 并行程序 再继续语义 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]