云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2002CB312002)

国家高技术研究发展计划(2002CB312002): 作品数：1被引量：1H指数：1; 导出分析报告; 相关作者：颜锋韩婷婷陈韬略吕建更多>>; 相关机构：南京大学更多>>; 相关期刊：《小型微型计算机系统》更多>>; 相关主题：Π演算Λ演算递归函数Π更多>>; 相关领域：自动化与计算机技术更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

递归函数的π可定义性及其实现研究被引量：1: 《小型微型计算机系统》2005年第10期1749-1753,共5页颜锋陈韬略韩婷婷吕建; 国家重点基础研究发展规划"九七三"项目(2002CB312002)资助国家自然科学基金(60273034)资助国家"八六三"项目(2002AA116010)资助江苏省自然科学基金(BK2002203;BK2002409)资助.; 并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算能够描...; 关键词：Π演算 Λ演算 π可定义性递归函数