{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T20:27:41Z”，“时间戳”：1693859261501}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540638889”，“类型”：“打印”}，{“值”：“9783540696612”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1997]]}，”DOI“：”10.1007\/bfb0000480“，”type“：”book-capter“，”created“：”{“date-part”：[2005,10,5]]，“date-time”：“2005-10-05T10:30:36Z”，“时间戳“：1128508236000}，”页面“：”322-336“，”源“：“Crossref”，“is-referenced-by-count”：10，“title”：[“在Span（Graph）中表示位置/转换网络”]，“prefix”：“10.1007”，”author“：[{“given”：“Piergiulio”，“family”：“Katis”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“N.”，“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,9,7]]}“：”A。Arnold，有限过渡系统，Prentice Hall，1994年。“}，{”key“：”22_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”J.B\u00e8nabou，《双类别导论》，in：中西部类别研讨会报告，数学讲义47，第1_201377页，Springer-Verlag，1967年。“，”doi“：”10.1007\/BFb0074299“}”，{“key”：“22_CR4”，“doi-assert-by”：“”crossref“，”first page“：”343“，”DOI“：”10.1007\/BF00122683“，“volume”：“4”，“author”：“S.Bloom”，“year”：“1996”，“unstructured”：“Bloom S.，Sabadini N，Walters RFC，Matrices，machines and behaviors，Applied Categorial Structures 4（1996）343\u2013360。”，“journal-title”：“Applied categorial Structures”}，{“key”：”22_CR5“，“DOI-asserted-by”：“crossref.”，“非结构化”：“Cockett J.R.B.和Spooner D.A.，《SProc分类》，收录于：《94年CONCUR会议记录》，Springer-Verlag（1994）。“，”DOI“：”10.1007\/978-3-540-48654-1_13“}，{”key“：”22_CR6“，”DOI-asserted-by“：”crossref“，”first page“：“11”，“DOI”：“10.1016\/0022-4049（87）90121-6”，“volume”：“49”，“author”：“A.Carboni”，“year”：“1987”，“unstructured”：“A.Carboni and R.F.C.Walters，Cartesian Bicategories I，Journal of Pure and Applied Algebra，49，pages 11\u2013”1987年第32期。“，“新闻标题”：”《纯粹与应用代数杂志》“}，{“key”：“22_CR7”，“unstructured”：“Genrich H.J.，谓词转换网，in：Petri网，LNCS 254 Springer-Verlag（1986）207\u2013247.”}，“{”key“：”22_CR8“，”unstructure“：”Jensen K.，有色Petri网“in：Petri-nets，LNCS 254 Spring er-Verla（1986）248\u2013299.”}“”非结构化”：“Joyal A.、Nielsen M.和Winskel G.，互模拟和开放映射，摘自：IEEE（1993）第八届计算机科学逻辑研讨会论文集。“，”DOI“：”10.1109\/LICS.1993.287566“}，{”key“：”22_CR10“，”DOI-asserted-by“：”crossref“，”first page“：“55”，“DOI”：“10.1016\/0001-8708（91）90003-P”，“volume”：“88”，“author”：“A.Joyal”，“year”：“1991”，“unstructured”：“Joyal A.and Street R.，张量微积分的几何I，in：数学进展。88（1991）55\u2013113”，“journal al-title“：”数学进步“}，{”key“：”22_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”447“，”doi“：”10.1017\/S0305004100074338“，”volume“：“119”，”author“：”A.Joyal“，”year“：”1996“，”unstructured“：”Joyal A.，Street R.and Verity D.，Traced monoid categories，in：Math。程序。外倾角。Phil.Soc.119（1996）447\u2013468.“，“新闻标题”：“数学。程序。外倾角。Phil.Soc.“}，{”key“：”22_CR12“，”unstructured“：”Katis P.，过程的类别和双类别，悉尼大学博士论文（1996）。“}”，{“key”：“22_CR13”，“volume-title”：“计算：澳大利亚理论研讨会”，“author”：“P Katis”，“year”：“1994”，“unstructure”：“Katis P，Sabadini N，Walters RFC，电路的双类别，计算：澳大利亚理论研讨会，UTS，悉尼（1994）。“}，{”issue“：”no.2“，”key“：”22_CR14“，”doi-asserted-by“：”crossref“，”first page“：“141”，“doi”：“10.1016\/S0022-4049（96）00012-6”，“volume”：“115”，“author”：“P Katis”，“year”：“1997”，“unstructured”：“Katis P，Sabadini N，Walters RFC，过程的双分类，《纯粹与应用代数杂志》，115，no.2，pp 141\u2013178，1997。”，“，”日志标题“：”《纯粹与应用代数杂志》“}，{“key”：“22_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Katis P，Sabadini N，Walters RFC，Span（Graph）：过渡系的范畴代数，LLNCS（本卷）。”，“doi”：“10.1007\/BFb0000479”}，“key“：”22_CR16“，”doi-assert-by“：”crossref.“，”第一页：“193”，《doi》：“10.1016\/0022-4049（80）90101-2“，”volume“：”19“，”author“：”G.M.Kelly“，”year“：”1980“，”unstructured“：”Kelly G.M.和Laplaza M.L.，紧闭范畴的一致性，in：Journal of Pure and Applied Algebra 19（1980）193\u2013213.“”，“Journal title”：“Journal ofPure and Applicationd Alge布拉”}，{“key”：“22_CR17”，“doi-asserted-by”：“crossref”，“unstructure”：“S。Mac Lane，工作数学家分类，Springer Verlag，1970年。“，”DOI“：”10.1007\/9781-4612-9839-7“}，”key“：”22_CR18“，”unstructured“：”Milner R.，Communication and Concurrency，Prentice Hall International（1989）。“}”，{“issue”：“2”，“key”：“22_CR19”，“DOI-asserted-by”：“crossref”，“first page”：”105“，“DOI”：“10.1016\/0890-5401（90）90013-8”volume”：“88”，“author”：“J.Meseguer”，“year”：“1990”，“nonstructured”：“Meseguer J.and Montanari U.，Petri网是拟单体，in：Information and Computation，88（2）105\u2013155（1990）。“，”journal-title“：”Information and Computation“}，{”key“：”22_CR20“，”unstructured“：”Mauri G.，Sabadini N.，Shammah S.和Walters R.F.C.，On distributive automata，异步自动机和Petri网，Preprint，1995.“}”，{“key”：“22_CR21”，“first page”：”221“，“volume-title”：“组合数学及其应用”，“author”：“R.Penrose”，“year”：“”1971年“，“非结构化”：“R.Penrose，负维扭振子在组合数学及其应用中的应用，（D.J.A.Welsh，Ed.）第221\u2013244页，学术出版社，纽约，1971年。”22_CR23“，“非结构化”：“Sabadini N.和Walters R.F.C.，《函数和处理器：通过分布式类别实现并发的自动机理论方法》，悉尼大学数学与统计研究报告学院，（93\u20137），1993年。”非结构化”：“Sabadini N.，Walters R.F.C.，Weld Henry，Distributive automata and asynchronous circuits，Category Theory and Computer Science 5，Amsterdam，28\u2013321993。”，“期刊标题”：“类别理论与计算机科学”}，{“key”：“22_CR25”，“非结构化”。Walters，《函数和处理器：通过分布式类别实现并发的自动机理论方法》，悉尼大学数学与统计学院研究报告，（93\u20137），1993年。“}，{“key”：“22_CR26”，“unstructured”：“Thiagarajan P.S.，初等网络系统，in：Petri网，LNCS 254 Springer-Verlag（1986）26\u201359.“}，{”key“：”22_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”R.F.C.Walters，Categories and Computer Science，Carslaw Publications 1991，Cambridge University Press 1992。“，”doi“：”10.1017\/CBO9780511608872“}”，{“key”：“22_CR28”，“doi-assert-by”：“crossreff”，“first-pages”：“249”，“doi”：“10.1017\/S090129500001468”，“volume”：”2“，”作者“：”R.F.C.Walters”，“年份”：“1992年”，“非结构化”：“R.F.C.Waters，一种基于分布式范畴的命令式语言，《计算机科学中的数学结构》，2:249\u2013256，1992年。”，“期刊标题”：“计算机科学的数学结构”}]，“容器标题”：[“代数方法和软件技术”，“计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BFb0000480“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,4,10]]，”date-time“：“2020-04-10T02:214Z”，“timestamp”：1586485284000}，“分数”：1，“resource”：｛“primary”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/Bfb000480”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1997]]｝，“ISBN”：[“9783540638889”，“9783540696612”]，“引用次数”：28，“URL”：“http:\/\/dx.doi.org/10.1007\/bfb000480”，“关系”：｛｝，“ISSN”：[“0302-92-9 743“，”1611-3349“]，”ISSN类型“：[｛”value“：”0302-9743“，”type“：”打印“}，{”值“：”1611-3349“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[1997]]}}}