返回首页
并发进程的互模拟语义理论
CCF科技成果奖
项目名称：并发进程的互模拟语义理论
完成单位：华东师范大学
主要完成人：邓玉欣
本项目在经典并发理论和概率并发理论的形式化语义研究方面取得突破，为有限CCS 进程提出了统一五种弱同余关系公理化的方法，证明了有限概率标号迁移系统上测试语义与模拟语义的一致性，从度量、逻辑和算法等角度刻画了概率进程的互模拟关系。
<<< 上一篇
不确定性知识的多粒度表示与发现理论与方法
<<< 下一篇 图神经网络的内在机理及其应用研究
读完这篇文章后，您心情如何？
推荐内容
More >>>- · 首届CCF中国计算艺术大会（CCAC 2025）报名开
- · 多模态数据融合技术创新与落地实战丨CCF C?-3
- · 【CCD2025导教班火热报名中！】智能时代以能
- · 第三届CCF智能汽车学术年会（CIVS 2025）报名
- · NLPCC 2025 Tutorial主题及讲者揭晓
- · 报名进行中！CIVS 2025——自动驾驶论坛
- · 边缘有为，智启新域 —— 探索边缘智能服务与
- · 申报通道开启！2025“CCF企业数字化发展优秀
- · 第三届CCF智能汽车学术年会（CIVS 2025）报名
- · 大会日程确认，第40届中国计算机应用大会将在
- · 12项咨询：CCF科技咨询委员会服务科技创新?
所有评论仅代表网友意见