{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,3,31]]，“日期-时间”：“2023-03-31T06:27:32Z”，“时间戳”：1680244052633}，“引用-计数”：35，“发布者”：“EDP Sciences”，“问题”：“2”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[“RAIRO-Theor.Inf.应用程序”]，“published-print”：{“date-parts”：[2002,4]]}，“DOI”：“10.1051\/ita:20009”，“type”：“journal-article”，“created”：{“date-ports”：[[2003,11,14]]，“date-time”：“2003-11-14T16:49:42Z”，“timestamp”：1068828582000}，《page》：“181-194”，“source”：《Crossref》，“is-referenced-by-count”：12，“title”：[“反馈、跟踪和定点语义”]，“prefix”：“10.1051”，“volume”：“36”，“作者”：[｛“给定”：“P.”，“家族”：“Katis”，“序列”：“first”，“affiliation”：[]｝，｛“给定”：“Nicoletta”，“家族”：“Sabadini”，“序列”：“additional”，“affiliation”：[]｝，｛“给定”：“Robert F.C.”，“家族”：“Walters”，“序列”：“additional”，“affiliation”：[]｝]，“成员”：“250”，“在线发布”：｛“日期部分”：[[2002,12,15]]｝，“参考”：[｛”key”：“R1”，“非结构化”：“S.Abramsky，Retracing some paths in process algebras，Concur’96，编辑：U.Montanari and V.Sassone.Springer-Verlag，《计算科学讲义》1119（1996）1-17”}，{“key”：“R2”，“doi-asserted-by”：“crossref”，“first page”：《97》，“doi”：“10.1016\/0890-5401（92）90006-2”，《卷》：“97”，“作者”：“Bartha”，“年份”：“1992”，“日志标题”：“Inform”。和计算。”}，{“key”：“R3”，“首页”：“35”，“卷”：“32”，“作者”：“Bernatsky”，“年份”：“1998”，“日志标题”：“RAIRO:理论.信息学应用”}，{”key“：”R4“，”doi-asserted-by“：”crossref“，”首页“：”375“，”doi“：”10.1016\/0022-0000（85）90059-5“，”卷“：”31“，”作者“：”Bloom“，”年份“：”1985“，“journal-title”：“J.Compute.System Sci.”}，{“key”：“R5”，“doi-asserted-by”：“crossref”，“unstructured”：“S.L.Bloom和Z.\u00c9sik，迭代理论：迭代过程的等式逻辑。Springer-Verlag，EATCS Monogr.Theoret.Compute.Sci.（1993）。”，“DOI”：“10.1007\/978-3642-78034-9_6”}，{“key”：“R6”，“DOI-asserted-by”：“crossferef”，“first page”：卷“：”46“，”作者“：”布鲁姆“，“年”：“1993”，“日志标题”：“J.Compute.System Sci.”}，{“键”：“R7”，“doi-asserted-by”：“crossref”，“首页”：“343”，“doi”：“10.1007\/BF00122683”，《卷》：“4”，“作者”：“Bloom”，“年份”：“1996”，“journal-title”：“Appl.Categorical Structures”}：“27”，“doi”：“10.1016\/S0022-4049（99）00180-2”，“卷”：“154”，“author”：“Blute”，“year”：“2000”，“journal-title”：“J.Pure Appl.Algebra”}，{“key”：“R9”，“doi-asserted-by”：“crossref”，“first page”：”11“，“doi”：“10.1016\/0022-4049（87）90121-6”，“volume”：“J。康威，正则代数和有限机器。查普曼和霍尔，伦敦（1971年）。“}，{”key“：”R11“，”doi-asserted-by“：”crossref“，”unstructured“：”C.C.Elgot，《一元计算和迭代代数理论》，J.C.Shepherdson编辑。荷兰北部，阿姆斯特丹，1973年逻辑学术讨论会，《逻辑学80研究》（1975）。“，”doi“：”10.1016\/S0049-237X（08）71949-9“}”，{10.1016\/0021-8693（76）90106-X“，“卷”：“42”，“作者”：“Elgot”，“年份”：“1976”，“日志标题”：“J.代数”}，{“键”：“R13”，“非结构化”：“F.Gadducci，U.Montanari，P.Katis，N.Sabadini和R.F.C.Walters，《比较Cospan-span和Tilesviaa Hoare-style过程演算》。TOSCA Udine，Electron.Notes Theoret.Compute.Sci.62（2001）152-171.”}、{“关键”：“”R14“，“非结构化”：“M.长谷川，共享图模型：let和letrec的范畴语义，博士论文。爱丁堡（1997），斯普林格（1999）。“}，{”key“：”R15“，”doi-asserted-by“：”crossref“，”first page“：\/aima.1993.1055“，”volume“：”102“，”author“：”Joyal“，”year“：”1993“，”journal-title“：”数学高级。“}，{”key“：”R17“，”first-page“：”503“，”volume“：“27”，”author“：”Khalil“，”year“：”1993“，”journal-title“：”RAIRO:Theoret.Informatics Appl.“}”，{“key”：“R18”，“doi-asserted-by”：“crossref”，“first-page:”141“，”doi“：”10.1016\/S0022-4049（96）00012-6“，”volume“”：“115”，“author”：“Katis”，“year”：“1997”，“journal-title”：“J.Pure Appl.Algebra”}，{“key”：“R19”，“doi-asserted-by“：”crossref“，”unstructured“：”P.Katis，N.Sabadini和R.F.C.Walters，Span（Graph）：过渡系统的范畴代数，inProc。代数方法论和软件技术。Springer-Verlag，计算机课堂讲稿。《科学》1349（1997）307-321.“，”DOI“：”10.1007\/BFb0000479“}，{”key“：”R20“，”首页“：”123“，”volume“：“63”，”author“：”Katis“，”year“：”2000“，”journal-title“：”Rend.Circ.Mat.Palermo（2）Suppl.“}”，{“key”：“R21”，“unstructured”：“P.Katis，N.Sabadini和R.F.C.Walters，IWIM模型的形式化，inProc。2000年协调，由A.Porto和G.-C编辑。罗马。Springer Verlag，《计算机讲义》。Sci.1906（2000）267-283.“}，{”key“：”R22“，”unstructured“：”P.Katis，N.Sabadini和R.F.C.Walters，Recursion and concurrency，Invited talk，FICS 2001。佛罗伦萨（2001）。“}，{”key“：”R23“，”doi-asserted-by“：”crossref“，”first-page“：”77“，”doi“：”10.1017\/S0305004100004710“，”volume“：“130”，”author“：”Katis“，”year“：”2001“，”journal-title“：”Math.Proc.Camb.Phil.Soc.“}”，{\/0022-4049（80）90101-2“，”卷“：”19“，”作者“：”凯利“，”年份“：”1980“，”新闻标题“：”J.Pure Appl。代数“}，{“key”：“R25”，“doi-asserted-by”：“crossref”，“首页”：“450”，“doi”：“10.1090\/S0002-9947-1965-0188316-1”，“卷”：“116”，《作者》：“克罗恩”，“年份”：“1965”，“期刊标题”：“Trans.Amer.Math.Soc.”}，“key“：”R26“非结构化”：“M.Nagata，Local rings.Interscience（1962）”}、{“密钥”：“R27“，“非结构化”：“R。彭罗斯，负维扭转的应用，D.J.A.威尔士编辑。学术出版社，纽约，库姆。数学。申请。（1971）221-244.“}，{”key“：”R28“，”unstructured“：”W.J.Rugh，线性系统理论，第二版。Prentice Hall（1996）。“}”，{“key”：“R29”，“unstructure”：“J.J.M.Rutten，过渡系统的演算（走向普适余代数），在模态逻辑和过程代数中，一个互模拟的观点，由A.Ponse，M.de Rijke和Y编辑。维尼马。CSLI Publications，Standford，CSLI讲座笔记53（1995）231-256.“}，{“key”：“R30”，“doi断言”：“crossref”，“首页”：“127”，“doi”：“10.1017\/S096011295000000918”，“卷”：“6”，“作者”：“Sabadini”，“年份”：“1996”，“期刊标题”：“Math.Struct.Comput.Sci.”}，{“key”：“R31”，“非结构化”：“M.W。希尔兹，自动机理论导论。布莱克威尔科学出版物，牛津（1987）。“}，{”key“：”R32“，”doi-asserted-by“：”crossref“，”unstructured“：”A.Simpson和G.Plotkin，分类定点操作符的完整公理，inProc.15th LICS（2000）30-41.“，”doi“：”10.1109\/LICS.2000.855753“}“，{“key”：“R33”，“doi-assert-by”：“crossreff”，“first page”：”163“，“doi”：”10.1016\/0022-0000（87）90011-0“，”volume“：“”35“，”作者“：”斯特凡内斯库“，”年份”：“1985年”，“新闻标题”：“J.Compute。系统科学。“}，{”key“：”R34“，”doi-asserted-by“：”crossref“，”unstructured“：”G.Stefanescu，Network Algebra.Springer-Verlag（2000）。“，”doi“：”10.1007\/9781-4471-0479-7“}”，{“key”：“R35”，“doi-assert-by”：“Crosref”，“unstructure”：“R.F.C.Walters，Categories and Computer Science。Carslaw Publications（1991），Cambridge University Press（1992）。”，“doi”：“”10.1017\/CBO9780511608872“｝]，“容器标题”：[“RAIRO-理论信息学和应用”]，“原始标题”：[]，“链接”：[｛“URL”：“http:\/\/www.reiro-ita.org/10.1051\/ita:20020009\/pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2020,3,26]]，“日期时间”：“2020-03-26T23:01:46Z“，”timestamp“：1585263706000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/www.rairo-ita.org\/10.1051\/ita:2009”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2002,4]]}，《references-count》：35，“journal-issue”：{”issue“：”2“}”，“alternative-id”：[”ita021 7“]，“URL”：“http://\/dx.doi.org\/10.1051\/ita:20009”，“关系“：{}，”ISSN“：[”0988-3754“，”1290-385X“]，”ISSN-type“：[{”value“：”09883-3754“，”type“:”print“}，{”value“：”1290-38.5X“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2002,4]]}}}}