{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T20:51:00Z”，“时间戳”：1694638260776}，“引用-计数”：38，“发布者”：“爱思唯尔BV”，“问题”：“6”，“许可证”：[{“开始”：{:“日期-零件”：[2010,6,1]]，-06-01T00:00:00Z“，”时间戳“：127535040000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,6,1]]，“date-time”：“2014-06-01T00:00:00Z”，“timestamp”：1401580800000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier.com//open-access\/userlicense\/1.0\/“}]，”content-domain“：{”domain“：[“elsevier.com”，“sciencedirect.com”]，“crossmark restriction”：true｝，“short container title”：[“Information and Computation”]，“published print”：｛“date parts”：[[2010,6]]｝，“DOI”：“10.1016\/j.ic.2009.05.005”，“type”：“journal article”，“created”：｛“date parts”：[[2010,1,30]，“date time”：“2010-01-30T09:37:26Z”，“timestamp”：1264844246000｝，“page”：“634-651”，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“是观测同余\u03bc<\/mml:mi><\/mml：mrow><\/mml:math>-表达式在等式Horn逻辑中是公理化的？“]，”前缀“：”10.1016“，”卷“：”208“，”作者“：[{”给定“：”迈克尔“，”家族“：”门德勒“，”序列“：”第一“，”从属关系“：[]}，{”给出“：”杰拉尔德“，”家庭“：”L\u00fcttgen“，“序列”：”附加“，”隶属关系“：[]}]，”成员“：”78“，”引用“：[}”键“：”101016\/j.ic.2009.05.005_bib1“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Aceto，T.Chen，W。Fokkink，A.Ing\u00f3lfsd\u00f 3ttir，《论优先权的公理化》，载于：ICALP\u201906，LNCS，第4052卷，Springer，2006年，第480\u2013491页。/j.tcs.2004.10.003“，”文章标题“：”CCS与轩尼诗\u2019s合并没有有限方程公理化”，“卷”：“330”，“作者”：“Aceto”，“年份”：“2005”，“期刊标题”：“理论计算机科学”}，{“密钥”：“10.1016\/j.ic.2009.05.005_bib3”，“doi-asserted-by”：“crossref”，”非结构化“L.Aceto，A.Ing\u00f3lfsd\u00f 3ttir，M.R。穆萨维，时间CCS方程理论的不可能结果，载于：CALCO 2007，LNCS，第4624卷，Springer，2007，第80\u201395页。le-title“：”一类时间正则行为的时间互模拟的完全公理化”，“volume”：“152”，“author”：“Aceto”，“year”：“1995”，“journal-title”：“Theory Computer Science”}，{“issue”：“1”，“key”：”10.1016\/j.ic.2009.05.005_bib5“，”doi-asserted-by“：”crossref“，”first page“：”26“，”doi“：”10.1006\/inco.1996.0047“，”article-title“：”无提示步骤的公理化前缀迭代”，“卷”：“127”，“作者”：“Aceto”，“年份”：“1996”，“期刊标题”：“信息与计算”}，｛“密钥”：“10.1016\/j.ic.2009.05.005_bib6”，“doi asserted by”：“crossref”，“非结构化”：“H.Andersen，M。Mendler，《具有多个时钟的异步进程代数》，收录于：ESOP\u201994，LNCS，第788卷，Springer，1994年，第58\u201373页。由“：”插入crossref”，“非结构化”：“J.Bergstra，J.Klop，通过进程代数验证交替位协议，收录于：W.Bibel，K.P.Jantke（编辑），《软件系统规范和合成的数学模型》，LNCS，第215卷，Springer，1986年，第9页\u201323。”，“DOI”：“10.1007\/3-540-16444-8_1”}，{“key”：“101016\/J.ic.2009.05.005_bib9”，“doi-asserted-by“：”crossref“，”unstructured“：”J.A.Bergstra，J.W.Klop，《无声运动正则过程的完整推理系统》，收录于：F.R.Drake，J.K.Truss（编辑），Logic Colloquium\u201986，北荷兰，1988年，第21页\u201381。“，”doi“：”10.1016\/S0049-237X（09）70651-2“}，{“issue”：“3”，“key”：“10.1016\/J.ic.2009.05.005_bib10”，“doi-assert-by”：“”crossref“，”first page“：”245“，”DOI“：”10.1142\/S0129054192000164“，“article-title”：“迭代代数”，“volume”：“3”，“author”：“Bloom”，“year”：“1992”，“journal-title“：”计算机科学基础“}，{“key”：”10.1016\/j.ic.2009.05.005_bib11“，”series-title“：“迭代理论：迭代过程的等式逻辑”，“author”:“Bloom“，”年：“1993”}，{“key”：“10.1016\/j.ic.2009.05.005_bib12”，“doi-asserted-by”：“crossref”，“unstructured”：“S.Bloom，Z.\u00c9sik，迭代代数不是有限公理化的，in：LATIN 2000，LNCS，vol.1776，Springer，2000，pp.367\u2013376.”，“doi”：“101007\/10719839_36”}，{”key“：“10.116\/j.ic.2009.05.55_bib13”，“doi-asserted-b”y“：”crossref“，”unstructured“：”T。Chen，W.Fokkink，《有限字母和无限基III:模拟》，收录于：CONCUR\u201906，LNCS，第4137卷，Springer，2006年，第421\u2013434页。“，”DOI“：”10.1007\/11817949_28“}，{“key”：“10.1016\/j.ic.2009.05.005_bib14”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.Cleaveland，G.L\u00fcttgen，M。Mendler，多时钟的代数理论，载于：CONCUR\u201997，LNCS，第1243卷，Springer，1997，pp.166\u2013180doi-asserted-by“：”crossref“，”first page“：”301“，“doi”：“10.1093\/logcom\/12.2.301”，“article-title”：“正则表达式上互模拟的等式公理化”，“volume”：“12”，“author”：“Corradini”，“year”：“2002”，“journal-title“：”journal of Logic and Computation“}，{“key”：”10.1016\/j.ic.2009.05.005_bib17“，”doi-assert-by“首页“：”217“，”DOI“：”10.1016\/S0304-3975（96）00240-X“，”article-title“：”公园诱导的完整性“，”volume“：”177“，”author“：”\u00c9sik“，”year“：”1997“，”journal-title”：“理论计算机科学”}，{“key”：“10.1016\/j.ic.2009.05.005_bib18”，“DOI-asserted-by”：“crossref”，“unstructured”：“”Z.\u00c9sik，公理化最小不动点运算和二元上确界，in：CSL\u201900，LNCS，vol.1862，Springer，2000，pp.302\u2013316.“，”DOI“：”10.1007\/3-540-44622-2_20“}，{“key”：“10.1016\/j.ic.2009.05.005_bib19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Z.\u00c9sik，《不动点方程理论及其在广义语言理论中的应用》，载于：DLT\u201901，LNCS，第2295卷，Springer，2007年，第21\u201336页。“，”DOI“：”10.1007\/3-540-46011-X_3“}，{“key”：“10.1016\/j.ic.2009.05.005_bib20”，“DOI-asserted-by”：“crossref”，“unstructured”：“Z.\u00c9sik，不动点方程理论及其在广义语言理论中的应用，金砖国家报告系列RS-01-22，金砖国计算机科学系，丹麦奥尔胡斯大学，2001年。“，”DOI“：”10.7146\/BRICS.v8i22.21683“}，{“issue”：“6”，“key”：“10.1016\/j.ic.2009.05.005_bib21”，“DOI-asserted-by”：“crossref”，“first page”：”333“，”DOI“：”10.1016\/0020-0190（94）00163-4“，”article-title“：”前缀迭代的完整等式公理化“，”volume“：”52“，”author“：”Fokkink“，”year“：”1994“，”journal-title”：“Information Processing Letters”}，{“key”：“10.1016\/j.ic.2009.05.005_bib22”，“DOI-asserted-by”：“crossref”，“unstructured”：“W。Fokkink，关于互模拟中Kleene星方程的完备性，in：AMAST\u201906，LNCS，vol.1101，Springer，1996，pp.180\u2013194.“，”DOI“：”10.1007\/BFb0014315“}，{“issue”：“4”，“key”：“10.1016\/j.ic.2009.05.005_bib23”，“DOI-asserted-by”：“crossref”，“first page”：“文章标题”：“带迭代的基本过程代数：方程公理的完备性“”doi-asserted-by“：”crossref“，”first page“：”35“，”doi“：”10.1016\/S0304-3975（99）00117-6“，”article-title“：”观测先验的完全抽象指称模型“，”volume“：“254”，”author“：”Ing\u00f3lfsd\u00f 3ttir“，”year“：”2001“，”journal-title”：“理论计算机科学”}，{“issue”：“2”，“key”：“10.1016\/j.ic.2009.05.005 _bib26“，”doi-asserted-by“：”crossref“，”first page“：”366“，”doi“：”10.1006\/inco.1994.1037“，”article-title“：”Kleene代数和正则事件代数的完备性定理“，”volume“：“110”，“author”：“Kozen”，“year”：“1994”，“journal-title”：“Information and Computation”}，{“key”：“10.1016\/j.ic.2009.05.005_bib27”，“unstructured”：“M.Mendler，G。L\u00fcttgen，在等式Horn逻辑中，u03bc-表达式上的观测同余是公理化的吗？技术报告第72\/20072007号，57页，Fakult\u00e4t f \u00fcr Wirtschaftsinformatik und Angewandte Informatik，University\u00e 4t Bamberg，Germany。网址：http://\/www-users.cs.york.ac.uk\/~luettgen\/publications\/pdf\/Bamberg-REP-07-72.pdf。“}，{”issue“：”3“，”key“：”10.1016\/j.ic.2009.05.005_bib28“，”doi-asserted-by“：”crossref“，”first-page“：”439“，”doi“：”101016\/0022-0000（84）90023-0“，“article-title”：“一类规则行为的完整推理系统”，“volume”：“28”，“author”：“Milner”，“year”：“1984”，“journal-title“：”journal of Computer and system Sciences“}”，{“key”：“”10.1016\/j.ic.2009.05.005_bib29“，“series-title”：“通信与并发”，“作者”：“Milner”，“年份”：“1989”}，{“问题”：“2”，“密钥”：“10.1016\/j.ic.2009.05.005 _bib30”，“doi-asserted-by”：“crossref”，“首页”：“227”，“doi”：“101016\/0890-5401（89）90070-9”，”“文章标题”：“有限状态行为观测一致性的完整公理化”，“卷”：“81”，“作者”：“Milner”，“年份”：“1989”，“期刊标题”：“信息与计算”}，{“键”：“10.1016\/j.ic.2009.05.005_bib31”，“非结构化”：“F.Moller，并发公理，博士。论文，LFCS，英国爱丁堡大学，也出版为ECS-LFCS-89-841989。“}，{”key“：”10.1016\/j.ic.2009.05.005_bib32“，”unstructured“：”F.Moller，CCS同余有限公理的不存在，收录于：LICS\u201990，IEEE出版社，1990，pp.142\u2013153crossref“，”first page“：”777“，”DOI“：”10.1145\/96559.6570“，”article-title“：”Higher-order Horn子句“，”volume“：“37”，“author”：“Nadathur”，“year”：“1990”，“journal-title”：“journal of the ACM”}，{“issue”：“1”，“key”：“10.1016\/j.ic.2009.05.005_bib34”，“DOI-asserted-by”：“crossrref”，”first-page“：”158“，“DOI”：“”10.1145\/321312.321326“，”文章标题“：”正则事件代数的两个完整公理系统”，“卷”：“13”，“作者”：“Salomaa”，“年份”：“1966”，“期刊标题”：“ACM杂志”}，{“关键”：“10.1016\/j.ic.2009.05.005_bib35”，“非结构化”：“P.Sewell，有限状态过程的代数，英国爱丁堡大学LFCS博士论文，也出版为ECS-LFCS-95-3281995。”}、{“key“：”10.1016\/j.ic.2009.05.005_bib36“，”doi-asserted-by“：”crossref“，”first page“：“163”，”doi“：”101016\/S0168-0072（97）00036-5“，”article-title“：”有限状态过程等价的非公理化性“，”volume“：‘90’，”author“：”Sewell“，”year“：”1997“，”journal-title”：“纯逻辑和应用逻辑年鉴”}，{“key”：“10.1016\/j.ic。2009.05.005_bib37“，”doi-asserted-by“：”crossref“，”unstructured“：”R.van Glabbeek，线性时间分支时间谱，in：CONCUR\u201990，LNCS，vol.458，Springer，1990，pp.278\u2013297.“，”doi“：”10.1007\/BFb0039066“}，{“key”：“10.1016\/j.ic.2009.05.005_bib38”，“doi-assert-by”：“crossref.”，“unstructure”：“R.van Glabbeek，有限状态行为分支互模拟同余的完全公理化，收录于：MFCS\u201993，LNCS，第711卷，Springer，1993，第473\u2013484页https:\/\/api.elsevier.com\/content\/article\/PII:S08890540110000167？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S089054011000167？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“存放”：{“date-parts”：[[2022年8月12日]，“date-time“：”2022-08-12T11:22:30Z“，”timestamp“：166030335000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540110000167”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[2010,6]]]}，‘references-count’：38，‘日志发布’：{‘发布’：“6”，“published preint“：{“date-parts”：[[2010,6]]}}，”alternative-id“：[”S089054011000167“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.ic.2009.05.005“，”relationship“：{}，”ISSN“：[“0890-5401”]，”ISSN-type“：[{”value“：”0890-5401“，”type“:”print“}]，”subject“：【】，”published“：{”date-parts“：[2010,6]]}，“assertion”：[{“value”：“Elsevier”，“name”“：”publisher“，”label“：”本文由“}，{”value“维护：”在等式霍恩逻辑中，表达式的观测同余是公理化的吗？“，”name“：”articletitle“，”label“：”Article Title“}，{”value“：”Information and Calculation“，”name:“journaltitle”，“label”：“Journal Title”}，“value”：“https:\/\/doi.org\/10.1016\/j.ic.2009.05.005”，“name”：“articlelink”，“标签”：“CrossRef doi link to publisher maintained version”}、{“value“”：”artic“，”名称“：”content_type“，”标签“：”content-type“}”，{“值”“：”版权所有\u00a9 2010 Elsevier Inc.“，”name“：”Copyright“，”label“：”Copyright”}]}}