课题基金 / 基金详情

进程演算的表达能力研究

批准号：
60873034
项目类别：
面上项目
资助金额：
30.0 万元
负责人：
傅育熙
依托单位：
上海交通大学
学科分类：
计算机科学的基础理论
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
龙环、朱涵、姜芙蓉、杨杰、符鸿飞、朱俊敏
关键词：
进程演算表达能力pi-演算并发计算模型

项目摘要

结项摘要

项目成果

傅育熙的其他基金

相似基金

相关文献

中文摘要
进程演算理论研究计算实体的交互性，因计算可由交互实现，故交互能力是进程表达能力的全部，也是进程演算理论的核心研究内容。本申请项目拟对进程的表达能力进行若干探索性研究，主要考察三方面的内容：一、探索完全lambda-演算在pi-演算中的翻译；二、探索从FA到pi-演算的翻译以及其它ambient演算到pi-演算的翻译；三、研究FA子语言的表达能力及图灵完备问题，并考察其它ambient演算的类似问题。本项研究的重要性在于试图回答进程演算理论中若干重要的公开问题，这些问题的解决有较大的理论意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
The -Calculus in the -Calculus
这
DOI： --
发表时间： --
期刊： Mathematical Structures in Computer Science
影响因子： 0.5
作者： [Xiaojuan Cai, Yuxi Fu]
通讯作者： Yuxi Fu
Representing Bounded Petri Nets by Process Calculi
用过程演算表示有界 Petri 网
DOI： --
发表时间： 2011
期刊： Journal of shanghai Jiaotong University (Science), 2011,V45
影响因子： --
作者： [Zhenhua Dong, Xiaoju Dong]
通讯作者： Xiaoju Dong
External Equality and Absolute Equality Coincide in Finite CCS and Calculus Without Summation
外部平等和绝对平等在有限 CCS 中一致并且
DOI： --
发表时间： --
期刊： Journal of Shanghai Jiaotong University (Science)
影响因子： --
作者： [Yun Jin]
通讯作者： Yun Jin
A pure labeled transition semantics for the applied pi calculus
DOI： 10.1016/j.ins.2010.07.008
发表时间： 2010-11
期刊： Inf. Sci.
影响因子： --
作者： [Xiaojuan Cai]
通讯作者： Xiaojuan Cai
共 6 条
    VASS可达性的算法研究
    • 批准号：
      62072299
    • 项目类别：
      面上项目
    • 资助金额：
      56.0万元
    • 批准年份：
      2020
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    无穷状态系统等价性验证
    • 批准号：
      61772336
    • 项目类别：
      面上项目
    • 资助金额：
      63.0万元
    • 批准年份：
      2017
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    进程理论中的否定结果研究
    • 批准号：
      61472239
    • 项目类别：
      面上项目
    • 资助金额：
      80.0万元
    • 批准年份：
      2014
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    M-可解性、M-计算复杂性与计算机科学的模型理论
    • 批准号：
      61033002
    • 项目类别：
      重点项目
    • 资助金额：
      200.0万元
    • 批准年份：
      2010
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    国内基金
    海外基金