返回首页
并发进程的互模拟语义理论
CCF科技成果奖
项目名称：并发进程的互模拟语义理论
完成单位：华东师范大学
主要完成人：邓玉欣
本项目在经典并发理论和概率并发理论的形式化语义研究方面取得突破，为有限CCS 进程提出了统一五种弱同余关系公理化的方法，证明了有限概率标号迁移系统上测试语义与模拟语义的一致性，从度量、逻辑和算法等角度刻画了概率进程的互模拟关系。
<<< 上一篇
不确定性知识的多粒度表示与发现理论与方法
<<< 下一篇 图神经网络的内在机理及其应用研究
读完这篇文章后，您心情如何？
推荐内容
More >>>- · CCF企智会走进江苏金服——共筑数智生态 共谋
- · 早鸟票正式开启！FCES2025相约长沙，抢占未来
- · 今日CNCC2025启动会在京召开，筹备工作全面展
- · YEF2025大会日程揭晓，早鸟票最后一天倒计时
- · 最后3天！YEF2025早鸟票截止倒计时，现在报名
- · 首届CCF算法能力大赛总决赛开赛！探索教育、
- · 第二届CCF中国数字金融大会（CDFC 2025）优秀
- · 从时代之问到破题之道和未来之约，梅宏院士为
- · YEF2025早鸟票倒计时7天，组团参会更优惠！
- · 第二届CCF中国数字金融大会（CDFC 2025）优秀
- · YEF2025早鸟票倒计时10天，抓紧时间报名参会
所有评论仅代表网友意见