｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,6,18]，“日期时间”：“2024-06-18T13:58:27Z”，“时间戳”：1718719107199｝，“发布者位置”：“纽约，NY，USA”，“引用计数”：37，“发布者”：“ACM”，“内容域”：｛“域”：[“dl.ACM.org”]，“交叉标记限制”：true｝，“短容器标题”用法：[]，“published-print”：{“date-parts”：[[2012,1,25]]}，“DOI”：“10.1145\/2103656.2103680”，“type”：“proceedings-article”，“created”：{“date-parts”：[2012,1,24]]，“date-time”：“2012-01-24T16:47:19Z”，“timestamp”：1327423639000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：53，“title”：[“决定编舞的可实现性”]，“前缀”：“10.1145”，“作者”：[{“给定”：“萨米克”，“家族”：“巴苏”，“序列”：“第一”，“从属关系”：[}“名称”：“爱荷华州立大学，艾姆斯，IA，美国”}]}，{“给出”：“特夫菲克”，”家族“：“布尔坦”，“sequence”：“附加”，“附属关系”：[{“姓名”：“加州大学，圣巴巴拉，加利福尼亚州，美国”{：“Meriem”，“family”：“Ouederni”，“sequence”：“additional”，“affiliation”：[{“name”：“西班牙马拉加马拉加大学”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2012,1,25]]}，“reference”：[}“key”：“e_1_3_2_1_1”，“doi-asserted-by”：1_3_2_2_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/592849.592858”}，{“key”：“e_1_3_2_3_1”，“volume-title”：“Pragmatic Bookshelf”，“author”：“Armstrong J.”，年：“2007”，“unstructured”：“J.Armstrong.Programming Erlang，Software for a Concurrent World。Pragmetic Bookself，2007：“e_1_3_2_2_4_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/645956.675943“}，{“key”：“e_ 1_3_2 _5_1”、“doi-aserted-by“：”publisher“，“doi”：“10.1145\/1963405.1963516”}，“key“：”e_1_ 3_2_6_1“，1_3_2_2_7_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICWS.2009.100”}，{“key”：“e_1_3_2_2_8_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007 \/s11761-008-0022-7“}，{“key”：“e_ 1_3_2 _9_1”、“volume-title”：“W3C Note”，作者：“Carbone M.”，年份：“2006”，“unstructured”：“M.Carbone，K.Honda，N.Yoshida，R.Milner，G.Brown，and S。罗斯·塔尔博特。《以通信为中心的并发编程的理论基础》，W3C Note，2006年10月。http://www.w3.org\/2002\/ws\/chor\/edcopies\/theory\/note.pdf。M.Carbone、K.Honda、N.Yoshida、R.Milner、G.Brown和S.Ross-Talbot。《以通信为中心的并发编程的理论基础》，W3C Note，2006年10月。http://www.w3.org\/2002\/ws\/chor\/edcopies\/theory\/note.pdf。“}，{”key“：”e_1_3_2_2_10_1“，”volume-title“：”模型检查“，”author“：”Clarke e.M.“，“year”：“1999”，”unstructured“：”e.M.Clarke，O.Grumberg，and D.A.Peled.模型检查。麻省理工学院出版社，剑桥，马萨诸塞州，1999e_1_3_2_11_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-89652-4_26”}，{“key”：“e_1_ 3_2_12_1”，“doo-asserted-by”：”publisher“，”doi“：”10.1145\/1217935.1217953“}，”{“密钥”：“e_1_3_2_13_1”，”doi-assert-by“：”publiver“，”doi“：“10.1145\/77713.777335”}、{“key”：“e_1_3_2_2_14_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/j.tcs.2004.07.004“}，{“key”：“e_1_3_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3-540-27813-9_48“}，{”key“：”e_1_ 3_2_16_1“，”首页“：”377“，”volume-title“：”Fr\u00e9d\u00e9 ric Lang.SVL:一种用于合成验证的脚本语言。在Proc.FORTE中，“author”：“Garavel H.”，《年份》：“2001”，“unstructured”：“”H.Garavel和Fr\u00e9d\u00e9 ric Lang。SVL：一种用于合成验证的脚本语言。程序中。FORTE，第377-394页，2001年。H.Garavel和Fr\u00e9d\u00e9 ric Lang.SVL：一种用于合成验证的脚本语言。程序中。FORTE，第377--394页，2001年。“}，{“key”：“e_1_3_2_2_17_1”，“volume-title”：“CADP 2006:分布式过程构建和分析的工具箱。在Proc.18 Int.Conf.计算机辅助验证中”，“author”：“Garavle H.”，年：“2006”，“unstructured”：“H.Garavel，R.Mateescu，F.Lang，and W。塞维。CADP 2006：用于构建和分析分布式过程的工具箱。程序中。第18届国际会议计算机辅助验证，2006年。H.Garavel、R.Mateescu、F.Lang和W.Serwe。CADP 2006：分布式进程的构建和分析工具箱。程序中。第18届国际会议计算机辅助验证，2006年。“}，{”key“：”e_1_3_2_2_18_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1882291.1882298”}，“key”：“e_1_ 3_2_19_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/645392.651876“}”，{“10.1145\/1328438.1328472”}，{“键”：“e_1_3_2_21_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/1243418.1243424“}，{“key”：“e_1_3_2_22_1”，“unstructured”：“代理电子商务和组件集成的对话支持。http:\/\/www.research.ibm.com/convsupport。代理电子商务与组件集成的会话支持。http://www.research.ibm.com\/convsupport.”}e_1_3_2_23_1“，”非结构化“：”Java API for XML messaging（JAXM）。http:\/\/java.sun.com//developer\/earlyAccess\/xml\/jaxm\/。用于XML消息传递的Java API（JAXM）。http:\/\/java.sun.com//developer\/earlyAccess\/xml\/jaxm\/。“｝，｛”key“：”e_1_3_2_24_1“，”非结构化“：”Java消息服务。http:\/\/Java.sun.com\/products \\。Java是指的程序。第一届中欧服务业及其构成研究》，“作者”：“罗曼·N”，“年份”：“2009年”，“非结构化”：“N.罗曼和K.沃尔夫。可实现性是可控性。程序中。2009年第1期中欧服务业及其构成研究，第61-67页。N.Lohmann和K.Wolf。可实现性是可控性。程序中。第一部中欧服务及其构成著作，第61-67页，2009年。“}，{”key“：”e_1_3_2_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007”，“s11761-010-0060-9”}，“key”：“e_1_ 3_2_28_1”，”doo-asserted-by“：）.ITU-T日内瓦建议Z.120 1996。消息序列图（MSC）。ITU-T日内瓦建议Z.120 1996。“}，{“key”：“e_1_3_2_30_1”，“unstructured”：“Microsoft消息队列服务。http://www.Microsoft.com/windowsserver2003\/technologies\/msmq\/default.mspx.Microsoft消息队列服务。http://www.Microsoft.com \/windowsserver2003 \/techanologies\/msmq\/ddefault.mspx。”}，}“key”：“e_1_3_2_31_1”，“volume-title“：“WSDL，SOAP”，“author”：“Newcomer E.”，“year”：“2004”，“unstructured”：“E.Newcomer。了解Web服务：XML、WSDL、SOAP和UDDI。斯普林格，2004年。E.新人。了解Web服务：XML、WSDL、SOAP和UDDI。Springer，2004.“}，{”key“：”e_1_3_2_2_32_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-00255-7_12“}”，{“key”：“e_1_ 3_2_33_1”，”unstructured“：”Singularity design note 5:Channel contracts.Singularity-rdk documentation（v1.1）.http://www.codeplex.com/singulargia 2004。奇点设计注5：渠道合同。奇点rdk文档（v1.1）。http://www.codeplex.com/singularity 2004.“}，{”key“：”e_1_3_2_2_34_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1572272.1572275”}，“key”：“e_1_ 3_2_35_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/100561.1005563“}”，{“key“:”e_3_2_36_1“、”非结构化“：”OMG统一建模语言上层建筑版本2.1.2。http://www.uml.org 2007年10月。OMG统一建模语言上层结构版本2.1.2。http:\/\/www.uml.org\/2007年10月。“}，{“key”：“e_1_3_2_2_37_1”，“volume-title”：“http://www.w3.org\/TR\/ws-cdl-10\/”，“author”：“Choreography Description Web Service”，“year”：“2005”，“unstructured”：“Web Service Choreogram Description Language（ws-cdl）”http://www.w3.org\/TR\/ws-cdl-10\/，2005年。Web服务编排描述语言（WS-CDL）。http://www.w3.org\/TR\/ws-cdl-10\/，2005.“}]，”event“：{”name“：”POPL'12:第39届美国计算机学会SIGPLAN-SIGACT编程语言原理研讨会“，”location“：”Philadelphia PA USA“，”首字母缩写“：”POPL'12“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“，”SIGACT ACM算法和计算理论特别兴趣小组“]}，“container-title”：[“第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2103656.2103680”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,9,4]]，”date-time“：”2023-09-04T21:31:51Z“，”timestamp“：1693863111000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2103656.2103680”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2012,1,25]]}，“引用-计数”：37，“alternative-id“：[”10.1145\/2103656.2103680“，”10.1145\/2103656“]，”URL“：”http://\/dx.doi.org\/10.1145\/210656.2103680”，“关系”：{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/2103621.2103680”，“asserted-by”：“object”}，“subject”：[]，“published”:{“date-parts”：[[2012,1,25]]}，“断言”：[{“value”：“2012-01-25”，“order”：2，“name”：“published”，“label”：“已发布”，“group”：｛“name”：“publication_history”，“label”：“发布历史记录”｝｝]｝