摘要：添加数据类型的图的余张的代数和配对的代数是由Katis，Sabadini和Walters为进程的顺序和并行组合引入的。
作者：L. de Francesco Albasini, N. Sabadini, R.F.C. Walters
论文ID：0909.4136
分类：Category Theory
分类简称：math.CT
提交时间：2009-09-24
PDF 下载： 英文版 中文版pdf翻译中