【61173033】概率并发理论国家自然基金项目 - 国家自然科学基金查询网

概率并发理论

项目批准号： 61173033

批准年份： 2011

学科分类： F0201.计算机科学的基础理论

项目负责人：邓玉欣

资助类别：面上项目

负责人职称：教授

依托单位：上海交通大学

资助金额： 56万元

关键词：并发理论;概率进程;标号迁移系统;判定算法;形式化语义

起止时间： 2012-01-01到2015-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

查看更多信息请先登录或注册

查看更多信息请先登录或注册

序号	标题	类型	作者
1	Open Bisimulation for Quantum Processes	会议论文	Yuxin Deng\|Yuan Feng\|
2	Symbolic Bisimulation for Quantum Processes	期刊论文	Yuan Feng\|Yuxin Deng\|Mingsheng Ying\|
3	On Coinduction and Quantum Lambda Calculi	会议论文
4	On the Semantics of Markov Automata	期刊论文	Yuxin Deng\|Matthew Hennessy\|
5	Semantics of Probabilistic Processes: An Operational Approach	专著
6	Compositional reasoning for weighted Markov decision processes	期刊论文	Yuxin Deng\|Matthew Hennessy\|
7	On the Semantics of Markov Automata.	期刊论文	Yuxin Deng and Matthew Hennessy\|
8	Semantics of Probabilistic Processes：An Operational Approach (Book Introduction)	期刊论文	Yuxin Deng\|
9	The Buffered Pi-Calculus: A Model for Concurrent Languages	会议论文
10	Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems	期刊论文	Hengyang Wu\|Yuxin Deng\|
11	Characterisations of testing preorders for a finite probabilistic pi-calculus	期刊论文	Yuxin Deng\|Alwen Tiu\|
12	Modal Characterisations of Probabilistic and Fuzzy Bisimulations	会议论文
13	Relating Reasoning Methodologies in Linear Logic and Process Algebra	期刊论文	Yuxin Deng\|Rob J. Simmons\|Iliano Cervesato\|
14	Real-Reward Testing for Probabilistic Processes	期刊论文	Yuxin Deng\|Rob van Glabbeek\|Matthew Hennessy\|Carroll Morgan\|

查看更多信息请先登录或注册

趋势报告

经验分享

年份:

项目负责人:

单位名称:

由于2020年国自然政策发生变化，若您身边有2020年获得过国自然的请提交一下