未找到相关数据
计算机科学中的共代数方法的研究综述
被引：21
作者：
周晓聪
舒忠梅
机构：
[1] 中山大学计算机科学系
[2] 中山大学计算机科学系 广东广州
来源：
关键词：
共代数;
互模拟;
终结共代数;
共归纳原理;
共代数逻辑;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
080201 [机械制造及其自动化];
摘要：
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念棗共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从构造的角度研究数据类型,而共代数则从观察的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注.
引用
收藏
页码：1661 / 1671
页数：11
相关论文