{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,6]]，“日期-时间”：“2024-09-06T09:49:28Z”，“时间戳”：1725616168172}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：32，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2014,7,14]]}，“DOI”：“10.1145\/2603088.2603113”，“type”：“proceedings-article”，“created”：{“date-parts”：[2014,7,28]]，“date-time”：“2014-07-28T09:21:45Z”，“timestamp”：1406539305000}，”page“：”1-10“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：2，”title“：[“关于钝化和高阶相互作用的辨别力”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Marco”，“家族”：“Bernardo”，“序列”：“第一”，“从属关系”：[[{”名称“：“乌尔比诺大学”}]}，{“已知”：“戴维德”，“家庭”：“桑吉奥吉”，“sequence”：“附加”，“附属关系”：[{“名称”：“博洛尼亚和INRIA大学”}]}，}“给定的”：“Valeria”，“family”：“Vignudelli”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Bologna and INRIA”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2014,7,14]]}，“reference”：[}“key”：“e_1_3_2_1_1_1_1”，“doi-asserted-by”：”publisher“，“doi”：“10.1016\/S1571-0661（04）80358-X”}，{“键”：“e_1_3_2_1_2_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/200836.200876”}，{“key”：“e_1_3_2_1_3_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/828.833“}，”key“：”e_1_ 3_2_1_4_1“，”doi-assert-by“：”publisher“，“doi”：“10.1016\/j.ic.2004.11.005”}\/978-3-642-28729-9_30“}，{“键”：“e_1_3_2_1_6_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1007\/BF00264365”}，{“key”：“e_1_3_2_1_7_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0304-3975（84）90113-0“}，}“volume-title”：“刻画有限概率过程的测试前序。计算机科学中的逻辑方法，4（4:4）：1-33”，“year”：“2008”，“author”：“Deng Y.”，“key“：”e_3_2_8_1“，”非结构化“：”Y.Deng，R。J.van Glabbeek、M.Hennessy和C.Morgan。描述有限概率过程的测试预订单。计算机科学中的逻辑方法，4（4:4）：1-332008。Y.Deng、R.J.van Glabeek、M.Hennessy和C.Morgan。描述有限概率过程的测试预订单。计算机科学中的逻辑方法，4（4:4）：1-332008。“}，{”key“：”e_1_3_2_1_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-04081-8_19”}，“key”：“e_1_ 3_2_1_10_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/1159015_11“}”，{“，”doi“：”10.1016\/0890-5401（92）90013-6“}，{”密钥“：”e_1_3_2_12_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1991.151651“}，{”key“：”e_1_ 3_2_13_1“，“doi-assert-by”：“publisher”，“doi”：“10.5555\/788017.788783”}，“key”：“e_1_n3_2_14_1”，”doi-asserted-by“：“publiser”，e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-40184-8_13”}，{“key“：”e_1_3_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S1571-0661（04）00121-5”}，{“key”：“e_1_a_2_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1462179.1462181“}，”{“密钥”：“e_1_2_18_1”、“doi-aserted-by”:“publishers”，“doi:”10.1016\/0890-5401（91）90030-6“}，{“键”：“e_1_3_2_1_19_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1007\/978-3-642-04081-8_30“}，{“key”：“e_1_3_2_1_20_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/3266641.3266670“}”，{”key“：”e_1_ 3_2_1_2 1_1“，”doi-assert-by“：”publisher“，”doi:“10.1016\/j.ic.2011.08.002”}，“volume-title”：“Communication and Concurrency”，“year”：“1989”，“author”：“Milner”R.“，”key“：”e_1_3_2_1_22_1“，”unstructured“：”R。米尔纳。沟通与并发。普伦蒂斯·霍尔，1989年。R.Milner。沟通与并发。Prentice Hall，1989。“}，{”key“：”e_1_3_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0304-3975（87）90117-4”}，“key”：“e_1_ 3_2_1_2 4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/LICS.2012.63“}”，{10.1145\/604131.604136“}，{”key“：”e_1_3_2_1_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/3127123.127132“}，{“key”：“e_1_3_2_1_28_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/646731.70381“}”，{”key“：”e_1_ 3_2_1_2 9_1“，”doi-assert-by“：”publisher“，“：”10.5555\/2697448.2697692“}，{”key“：”e_1_3_2_1_31_1“，”doi-asserted-by“：”publisher“，”DOI“：”10.1016\/j.tcs.2004.10.021“}，{“key”：“e_1_3_2_1_32_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/B978-044482830-9\/50019-9”}，[key“：”e_1_ 3_2_1_1“，”DOI-assert-by“：”publisher“，“DOI:”10.5555\/645835.670408“}]，“event”：{“name”：“CSL-LICS’14:JOINT”EACSL第二十届计算机科学逻辑年会”，“赞助商”：[“SIGLOG ACM逻辑和计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机学会”，“SIGACT ACM算法和计算理论特别兴趣小组“]，“位置”：“维也纳-奥地利”，“首字母缩写”：“CSL-LICS‘14”}，“container-title”：[“第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM\/IEEE计算机科学逻辑研讨会（LICS）联合会议记录“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2603088.2603113“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,8]]，”date-time“：”2023-01-08T14:04:26Z“，”timestamp“：167318666000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603113”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-part”：[[2014,7,14]]}，“参考人数”：32，“alternative-id“：[”10.1145\/2603088.2603113“，”10.1145\/2603088“]，”URL“：”http://\/dx.doi.org\/10.1145\/260302.603113“，”relation“：{}，”subject“：[]，”published“：{”date-parts“：[[2014,7,14]]}，“assertion”：[{“value”：“2014-07-14”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”“public”ation_history“，”label“：”出版物历史“}}]}}