并发计算模型Ｘ－演算的理论研究
基本信息
批准号：69873032
项目类别：面上项目
资助金额：11.00
负责人：傅育熙
学科分类：
依托单位：上海交通大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：杜理渊,陈伟杰,徐林,林敏,蒋翔宇
关键词：
并行理论Pi演算互模拟
结项摘要
本申请项目拟对申请者提出的并发计算模型Ｘ－演算进行深入的理论探讨。拟从逻辑刻划、模型验证、有限Ｘ－进程的公理化、测试等价、非交叉语义等方面进行考察。本研究将加深我们对并发计算的认识，并对寻找并发计算的基本模型具有启发意义。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
4
岩石/结构面劣化导致巴东组软硬互层岩体强度劣化的作用机制
岩石/结构面劣化导致巴东组软硬互层岩体强度劣化的作用机制
DOI：10.3799/dqkx.2019.110
发表时间：2019
5
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017
傅育熙的其他基金
批准号：61472239
批准年份：2014
资助金额：80.00
项目类别：面上项目
批准号：60473006
批准年份：2004
资助金额：20.00
项目类别：面上项目
批准号：69973030
批准年份：1999
资助金额：10.00
项目类别：面上项目
批准号：61033002
批准年份：2010
资助金额：200.00
项目类别：重点项目
批准号：69503006
批准年份：1995
资助金额：10.00
项目类别：青年科学基金项目
批准号：60873034
批准年份：2008
资助金额：30.00
项目类别：面上项目
批准号：60573002
批准年份：2005
资助金额：25.00
项目类别：面上项目
批准号：61772336
批准年份：2017
资助金额：63.00
项目类别：面上项目
相似国自然基金
1
基于λ演算和CCS的一般并发程序的理论
批准号：60173020
批准年份：2001
负责人：柳欣欣
学科分类：F0201
资助金额：18.00
项目类别：面上项目
2
进程演算的可解理论研究
批准号：61202023
批准年份：2012
负责人：龙环
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
3
不确定环境下的计算模型与计算理论研究
批准号：60873119
批准年份：2008
负责人：李永明
学科分类：F0201
资助金额：32.00
项目类别：面上项目
4
DNA计算模型的理论研究及应用
批准号：60503002
批准年份：2005
负责人：王淑栋
学科分类：F0201
资助金额：26.00
项目类别：青年科学基金项目