您的位置： 专家智库 > >

国家高技术研究发展计划(2002CB312002)

作品数：1 被引量：1H指数：1
相关作者：颜锋韩婷婷陈韬略吕建更多>>
相关机构：南京大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇递归
  • 1篇递归函数
  • 1篇函数
  • 1篇Λ演算
  • 1篇Π演算
  • 1篇Π

机构

  • 1篇南京大学

作者

  • 1篇吕建
  • 1篇陈韬略
  • 1篇韩婷婷
  • 1篇颜锋

传媒

  • 1篇小型微型计算...

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
递归函数的π可定义性及其实现研究被引量：1
2005年
并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中 的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算 能够描述所有的可计算函数,π演算也有同样的能力．本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了 π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率．
颜锋陈韬略韩婷婷吕建
关键词：Π演算Λ演算递归函数
全选 清除 导出
共1页<1>
聚类工具0