摘要：在一种经得起充分支持的反射图的跨度紧凑闭范畴中，我们建议将过程的规范并行操作定义为组合。我们以此为基础，推导出经典过程代数的并行操作作为这种范畴中的幺半群对象的派生操作，表示它们是基于广播通信的协议。
作者：L. de Francesco Albasini, N. Sabadini, R.F.C. Walters
论文ID：0904.3961
分类：Category Theory
分类简称：math.CT
提交时间：2009-04-28
PDF 下载： 英文版 中文版pdf翻译中