{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T06:04:38Z”，“时间戳”：1648533878020}，“出版商位置”：“柏林，海德堡”，“引用-计数”：17，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642403125”，“类型”：“打印”}，{“值”：“9783642403132”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2013,1,1]]，“date-time”：“2013-01T00:00:00Z”，“timestamp”：1356998400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”用法：[[2013]]}，“DOI”：“10.1007\/978-3642-40313-2_28”，“type”：“book-chapter”，“created”：{“date-parts”：[[2013，8，16]]，“date-time”：“2013-08-16T14:36:43Z”，“timestamp”：1376663803000}，“：”10.1007“，“作者”：[{“given”：“Wojciech”，“family”：“Czerwi\u0144ski”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Petr”，“家族”：“Jan\u010dar”，”sequence“：”additional“，”affiliance“：[]{”given“：”Martin“，”family“：”Kot“，”sequence“：”additional“，”affiliation“：[]}]，”member“：”297“，“reference”：[{“key”：“28_CR1”，“unstructured”：“Benedikt，M.，G\u00f6ller，S.，Kiefer，S.、Murawski，A.：下推系统的双相似性是非基本的。In:Proc.28th LiCS.IEEE Computer Society（to appear，2013）”}，{“key”：：“Burkart，O.，Caucal，D.，Moller，F.，Steffen，B.：无限结构的验证。见：《过程代数手册》，第545\u2013623页。Elsevier（2001）“，”DOI“：”10.1016\/B978-044482830-9\/50027-8“}，{”key“：”28_CR3“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“423”，“DOI”：“10.1007\/3-540-60246-1_148”，“volume-title”：“1995计算机科学数学基础”，“author”：“O.Burkart”，“year”：“1995”，“unstructured”：“”Burkart，O.，Caucal，D.，Steffen，B.：任意无上下文过程的基本决策过程。收录：H\u00e1jek，P.，Wiedermann，J.（编辑）MFCS 1995。LNCS，卷\u00a0969，第423\u2013433页。Springer，Heidelberg（1995）“｝，｛“key”：“28_CR4”，“doi asserted by”：“publisher”，“first page”：“233”，“doi”：“10.1007\\s002360050159”，“volume”：“36”，“author”：“I.\u010cern\u00e1”，“year”：“1999”，“nonstructured”：“\u010cern\u00e1，I.，K\u0159et\u00ednsk\u00fd，M.，Ku\u010dera，A.：比较规范BPA和规范BPP过程的表达能力。Acta Informatica\u00a036，233\u2013256（1999）“，”journal-title“：”Acta Information“}，{“issue”：“5”，“key”：“28_CR5”，”doi-asserted-by“：”publisher“，”first page“：”782“，”doi“：”10.1016\/j.ic.2010.12.003“，”volume“：“209”，”author“：”W.Czerwinski“，”year“：”2011“，”unstructured“：”Czerwinski，W.，Fr\u00f6schle，S.B.，Lasota，S.：部分交换上下文无关过程：表达性和可控制性。信息与计算\u00a0209（5），782\u2013798（2011）“，”日记标题“：”信息与计算“}，{“问题”：“1”，“关键”：“28_CR6”，“doi-asserted-by”：“crossref”，“首页”：“13”，“doi”：“10.3233\/FI-1997-3112”，“卷”：“31”，“作者”：“J.Esparza”，《年份》：“1997”，“非结构化”：“Esparza，J.：Petri网、交换上下文无关文法和基本并行过程。《基础信息学》\u00a031（1），13\u201325（1997）“，“期刊标题”：“基础信息学”}，{“key”：“28_CR7”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《412》，“doi”：“10.1007\/3-540-48523-6_38”，“volume-title”：《自动化、语言和编程》，“author”：“Y.Hirshfeld”，“year”：“1999”“，”非结构化“：”Hirshfeld，Y.，Jerrum，M.：对于赋范过程代数，互模拟等价是可判定的。收录人：Wiedermann，J.、Van Emde Boas，P.、Nielsen，M.（编辑）ICALP 1999。LNCS，第u00a01644卷，第412\u2013421页。Springer，Heidelberg（1999）“}，{”key“：“28_CR8”，”doi-asserted-by“：”publisher“，”first page“：”251“，”doi“：”10.1017\/S0960129500000992“，”volume“：：”6“，”author“：”Y.Hirshfeld“，”year“：”1996“，”unstructured“：”Hirshfeld，Y.，Jerrum，M.，Moller，F.：确定赋范基本并行过程的互模拟等价性的多项式时间算法。计算机科学中的数学结构\u00a06，251\u2013259（1996）“，”journal-title“：”Mathematical Structures in Computer Science“}，{“key”：“28_CR9”，“doi-asserted-by”：“publisher”，“first page”：”143“，”doi“：”10.1016\/0304-3975（95）00064-X“，”volume“：”158“，“author”：“Y.Hirshfeld”，“year”：“1996”，“unstructured”：“Hirshfeld，Y.，Jerrum，M.，Moller，F.：确定赋范无上下文过程的双相似性的多项式算法。西奥。计算。科学。\u00a0158，143\u2013159（1996）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”28_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Jan\u010dar，P.：基本进程代数的双相似性在2-ExpTime中（一个明确的证明）。计算机科学中的逻辑方法\u00a09（1）（2013）“，”doi“：”10.2168\/LMCS-9（1:10）2013 I“：”10.1016\/j.ic.2009.10.012“，“volume”：“208”，“author”：“P.Jan\u010dar”，“year”：“2010”，“unstructured”：“Jan\u101dar，P.，Kot，M.，Sawa，Z.：确定规范化BPA和规范化BPP之间的双相似性的复杂性。信息与计算\u00a0208（10），1193\u20131205（2010）“，”日记标题“：”信息与计算“}，{“key”：“28_CR12”，“unstructured”：“Jan\u010dar，P.：基本并行过程的强相似性是PSPACE-complete。摘自：Proc.18th LiCS，pp.218\u2013227。IEEE Computer Society（2003）“}，{”key“：”28_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“159”，“doi”：“10.1007\/978-3-540-45187-7_10”，“volume-title”：“CONCUR 2003-并发理论”，“author”：“P.Jan\u010dar”，“year”：“2003”，“unstructured”：“Jan\u010dar，P.，Ku\u010dera，A.，Moller，F.：确定BPA和BPP过程之间的相似性。收录：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第00a02761卷，第159页\u2013173。Springer，Heidelberg（2003）“}，{”issue“：“4”，”key“：“28_CR14”，“doi-asserted-by”：“publisher”，“first page”：“101”，“doi”：“10.1016\/j.ipl.2012.004”，”volume“：”113“，”author“：”S.Kiefer“，”year“：”2013“，”unstructured“：”Kiefer，S.：BPA bisimilarity is EXPTIME-hard.Information Processing Letters\u00a0113（4），101\u2013106（2013）“，”journal al标题“：”信息处理信件“}，{”issue“：”5“，”key“：”28_CR15“，“doi-asserted-by”：“publisher”，“first page”：“1025”，“doi”：“10.1137\/S0097539700377256”，”volume“：“34”，“author”：“G.S\u00e9nizergues”，“year”：“2005”，“unstructured”：“S\u00 e9nizerges，G.：有限外度等式图的双模拟问题。SIAM J.Compute.\u00a034（5），1025\u20131106（2005）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”28_CR16“，”doi-asserted-by“：”crossref“，”first-page“：”469“，”doi“：”10.1007\/s00236-003-0116-9“，“volume”：“39”，“author”：“J.Srba”，“year”：“2003”，“unstructured”：“Srba，J.：简单过程代数的强双相似性：复杂性下限。信息学报\u00a039，469\u2013499（2003）”，“日志标题”：“信息学报”}，{“键”：“28_CR17”，“doi-asserted-by“：”crossref“，”unstructured“：”Srba，J.：无限结果路线图。收录于：《理论计算机科学的当前趋势》，《新世纪的挑战》，第\u00a02卷，第337\u2013350页。世界科学出版公司（2004），更新版本见http:\/\/users cs.au.dk\/srba\/routlook\/“，”DOI“：”10.1142\/9789812562494_0054“｝]，”容器标题“：[”计算机科学数学基础2013“，”计算机科学讲义“]，”原标题“：[]，”链接“：[｛”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-40313-2_28“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,8,2]，“date-time”：”2020-08-02T03:23:37Z“，“timestamp”：1596338617000}，“score”：1，“resource”:{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-40313-2_28“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2013]]}，“ISBN”：[“9783642403125”，“978364 2403132”]，”引用计数“：17，”URL“：”http://\/dx.doi.org\/10.1007\/9783-642-40323-2_28：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2013]]}}