聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 互模拟的一些基本性质
出处:云南师范大学学报:哲学社会科学版 2010年第5期 68-73,共6页
摘要:由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模... 显示全部
关键词: 关系结构 加标转换系统 互模拟
在线阅读 下载全文
期刊文章 类型化π演算的双代数语义
出处:计算机研究与发展 2012年第8期1773-1780,共8页
摘要:证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴... 显示全部
关键词: 共代数 双代数 演算 进程语义 互模拟
在线阅读 下载全文
期刊文章 计算机科学中的共代数方法的研究综述
出处:软件学报 2003年第10期 1661-1671,共11页
摘要:代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到2... 显示全部
关键词: 共代数 互模拟 终结共代数 共归纳原理 共代数逻辑
在线阅读 下载全文
期刊文章 基于互模拟的两种模态逻辑模型构造方法及其应用
出处:重庆理工大学学报:社会科学版 2013年第9期13-20,共8页
摘要:对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的... 显示全部
关键词: 互模拟 压延 商模型 语言等价
在线阅读 下载全文
找到4条结果
`