聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 类型化π演算的双代数语义
出处:计算机研究与发展 2012年第8期1773-1780,共8页
摘要:证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴... 显示全部
关键词: 共代数 双代数 演算 进程语义 互模拟
在线阅读 下载全文
找到1条结果
`