进程演算的表达能力研究
基本信息
批准号：60873034
项目类别：面上项目
资助金额：30.00
负责人：傅育熙
学科分类：
依托单位：上海交通大学
批准年份：2008
结题年份：2011
起止时间：2009-01-01 - 2011-12-31
项目状态： 已结题
项目参与者：龙环,朱涵,姜芙蓉,杨杰,符鸿飞,朱俊敏
关键词：
进程演算表达能力pi演算并发计算模型
结项摘要
进程演算理论研究计算实体的交互性，因计算可由交互实现，故交互能力是进程表达能力的全部，也是进程演算理论的核心研究内容。本申请项目拟对进程的表达能力进行若干探索性研究，主要考察三方面的内容：一、探索完全lambda-演算在pi-演算中的翻译；二、探索从FA到pi-演算的翻译以及其它ambient演算到pi-演算的翻译；三、研究FA子语言的表达能力及图灵完备问题，并考察其它ambient演算的类似问题。本项研究的重要性在于试图回答进程演算理论中若干重要的公开问题，这些问题的解决有较大的理论意义。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
DOI：10.1080/15287394.2018.1502561
发表时间：2018
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
4
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
5
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
傅育熙的其他基金
批准号：61472239
批准年份：2014
资助金额：80.00
项目类别：面上项目
批准号：60473006
批准年份：2004
资助金额：20.00
项目类别：面上项目
批准号：69973030
批准年份：1999
资助金额：10.00
项目类别：面上项目
批准号：61033002
批准年份：2010
资助金额：200.00
项目类别：重点项目
批准号：69503006
批准年份：1995
资助金额：10.00
项目类别：青年科学基金项目
批准号：60573002
批准年份：2005
资助金额：25.00
项目类别：面上项目
批准号：61772336
批准年份：2017
资助金额：63.00
项目类别：面上项目
批准号：69873032
批准年份：1998
资助金额：11.00
项目类别：面上项目
相似国自然基金
1
基于通道的高阶进程演算的表达能力的研究
批准号：60903020
批准年份：2009
负责人：徐贤
学科分类：F0201
资助金额：17.00
项目类别：青年科学基金项目
2
概率进程演算的测试语义
批准号：60703033
批准年份：2007
负责人：邓玉欣
学科分类：F0201
资助金额：21.00
项目类别：青年科学基金项目
3
高阶进程演算的互模拟研究
批准号：60873025
批准年份：2008
负责人：曹子宁
学科分类：F0201
资助金额：27.00
项目类别：面上项目
4
进程演算的可解理论研究
批准号：61202023
批准年份：2012
负责人：龙环
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目