位置：立项数据库 > 立项详情页
计算机科学技术的基础理论
  • 项目名称：计算机科学技术的基础理论
  • 项目类别：国家杰出青年科学基金
  • 批准号：60225012
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2006-12-31
  • 项目负责人：傅育熙
  • 负责人职称：教授
  • 依托单位：上海交通大学
  • 批准年度：2002
中文摘要：

中文主题词并发计算、进程演算、互模拟、公理化、pi-演算

中文主题词：
英文摘要：

concurrent computing, process

英文主题词： concurrent computing, process
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 3
  • 0
  • 0
  • 0
期刊论文
Tau Laws for Pi Calculus
Bisimulation Congruences of Ch
On Quasi Open Bisimulation
A Schematic Axiom for Open Con
基于可达关系的安全协议保密性分析
安全协议匿名性形式化分析
基于进程演算和知识推理的安全协议形式化分析
会议论文
Formalizing the Environment Vi
A Model in kappa for DNA Addit
Observing Asymmetry and Mismat
傅育熙

傅育熙教授曾负责十余个国家级科研项目的研究，是国务院政府特殊津贴、国家杰出青年基金获得者。

傅育熙的项目
第二十届软件技术基础及理论计算机科学年会
非普通进程的分析技术、余归纳和可表达性
期刊论文 3
基于进程代数的电子商务协议形式化研究
期刊论文 16 会议论文 11
灰箱演算的公平性和匿名性研究
期刊论文 5
逻辑类型理论的语义及其应用
进程理论中的否定结果研究
并发计算模型Ｘ－演算的理论研究
期刊论文 2
M-可解性、M-计算复杂性与计算机科学的模型理论
期刊论文 26 会议论文 51 获奖 5 著作 1
并行计算会议
计算科学基础研究国际研讨会
进程演算的表达能力研究
期刊论文 10 会议论文 3
内类型理论
期刊论文 1
多线程程序语言的程序分析研究
无穷状态系统等价性验证