进程语义相关论文
双代数是同一基集上的代数共代数对，它结合了代数的构造和共代数的观察。计算机科学中的许多概念都是构造与观察的结合体，如程序、进......
证明互模拟同余通常冗长且易出错．双代数为解决该问题提供统一的框架：若行为函子保持弱回拉，共代数范畴到基范畴的忘却函子有右伴函子......
