文件大小：0.94 MB 17页
Cospan/Span（图）：开放可重构自动机网络的代数
作者
-
部分： 体积： 第七届计算机科学代数和余代数会议（CALCO 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学代数和余代数会议（CALCO） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-11-17
文件
文件标识符
引用为 获取BibTex
摘要
关键词
类别 自动化 组成 网络
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
L.d.F.Albasini、N.Sabadini和R.F.C.Walters。 马尔可夫过程的组合结构。 ArXiv电子版，2009年1月。 网址： http://arxiv.org/abs/0901.2434 。 -
L.d.F.Albasini、N.Sabadini和R.F.C.Walters。 马尔可夫过程的组合构造2。 ArXiv电子打印，2010年5月。 网址： http://arxiv.org/abs/1005.0949 。 -
J.Bènabou。 Bicategories简介。 《中西部类别研讨会报告》，47:1-771967年。 网址： http://dx.doi.org/10.1007/BFb0074299 。 -
A.Carboni和R.F.C.Walters。 笛卡尔双范畴I.纯粹与应用代数杂志，49（1）：11-321987。 
-
A.Cherubini、N.Sabadini和R.F.C.Walters。 cospan跨度模型中的时间。 选举人。 注释Theor。 计算。 科学。， 104:81-97, 2004.
-
F.Gadducci、R.Heckel和M.Llabrés。 并发图重写的双范畴公理化。 理论计算机科学电子笔记，29:80-1001999。 CTCS’99，类别理论和计算机科学会议。
-
P.Katis、N.Sabadini和R.F.C.Walters。 跨度（图）：过渡系统的范畴代数。 1997年AMAST会议记录，第307-321页，1997年。
-
P.Katis、N.Sabadini和R.F.C.Walters。 进程的两类。 《纯粹与应用代数杂志》，115:141-1781997年。
-
P.Katis、N.Sabadini和R.F.C.Walters。 IWIM模型的形式化。 《2000年协调语言和模型会议录》，LNCS第1906卷，第267-283页。 斯普林格，2000年。
-
R.Rosebrugh、N.Sabadini和R.F.C.Walters。 图的通有交换可分代数和上泛。 范畴理论与应用，15（6）：164-1772005。
-
R.Rosebrugh、N.Sabadini和R.F.C.Walters。 电路混乱。 范畴理论与应用，26（27）：743-7672012。
-
N.Sabadini、F.Schiavio和R.F.C.Walters。 关于状态网络的几何和代数。 西奥。 计算。 科学。， 64:144-163, 2017.