进程理论中的否定结果研究
61472239
2014
F0201.计算机科学的基础理论
傅育熙
面上项目
教授
上海交通大学
80万元
公理化;表达能力;否定结果;进程理论
2015-01-01到2018-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | The Complexity of Linear-Time Temporal Logic Model Repair | 会议论文 | Tao Xiuting;Li Guoqiang;Li GQ |
| 2 | On the power of name-passing communication | 会议论文 | Fu Yuxi |
| 3 | Branching Bisimilarity on Normed BPA Is EXPTIME-complete | 会议论文 | He Chaodong;Huang Mingzhang |
| 4 | Place Bisimulation and Liveness for Open Petri Nets | 会议论文 | Dong Xiaoju;Fu Yuxi;Varacca Daniele |
| 5 | Two lower bounds for BPA | 会议论文 | Huang Mingzhang;Yin Qiang |
| 6 | New Approaches for Almost-Sure Termination of Probabilistic Programs | 会议论文 | Mingzhang Huang;Hongfei Fu |
| 7 | Remark on Some pi Variants | 会议论文 | Jianxin Xue;Huan Long;Yuxi Fu |
| 8 | 向量加法系统验证问题研究综述 | 期刊论文 | 张文博;龙环 |
| 9 | On Higher-order Communication of Erlang | 会议论文 | Liu Nannan;Xu Xian |
| 10 | THE UNIVERSAL PROCESS | 期刊论文 | Fu Yuxi |
| 11 | Analyzing data flow diagrams by combination of formal methods and visualization techniques | 期刊论文 | Zhang Haocheng;Liu Wei;Xiong Hao;Dong Xiaoju |
查看更多信息请先登录或注册
趋势报告
