位置：立项数据库 > 立项详情页
灰箱演算的公平性和匿名性研究
  • 项目名称：灰箱演算的公平性和匿名性研究
  • 项目类别：面上项目
  • 批准号：60573002
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：傅育熙
  • 依托单位：上海交通大学
  • 批准年度：2005
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 5
  • 0
  • 0
  • 0
  • 0
期刊论文
Finite axiomatization for symbolic probabilistic π-calculus
基于原型验证系统的自稳定算法形式化验证
概率Applied Pi框架下的匿名度分析
一种计算有限标号转移系统模拟关系的算法
Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
傅育熙

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

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