高阶 χ-进程  

Higher Order χ Processes

作　　者：傅育熙[1] 

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

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

基　　金：国家自然科学基金

摘　　要：在新型并发计算模型——χ－演算的基础上进一步研究高价χ－演算，并从代数性质、递归能力等方面研究该计算模型．Higher order χ calculus is studied.It is shown that the notion of local bisimulation is the right tool in studying the algebraic properties of higher order χ processes.It is also shown that the replicator operator is unnecessary as the general recursion is definable in this language.

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

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