一新型移动进程模型—— χ-演算  

χ Calculus——A New Model for Concurrent Computation

作　　者：傅育熙[1] 

机构地区：[1]上海交通大学计算机科学与工程系

出　　处：《上海交通大学学报》1997年第8期7-11,共5页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金

摘　　要：提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．A new process algebra called χ calculus is proposed which differs from π calculus in several aspects.First,it takes a more uniform view on the input and output.Second,the closed names of the language is homogeneous in the sense that there is only one kind of bound names.Thirdly,the effects of communications in χ calculus are delimited by localization operators,not by sequentiality combinator.Finally,the language cherishes more freedom of parallelism than π calculus.The algebraic properties of χ processes are studied in terms of local bisimulation.It is shown that local bisimilarity is a congruence equivalence on χ processes.

关 键 词：互模拟 Π-演算 X-演算 移动进程 并发计算模型 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]