{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T18:37:12Z”，“时间戳”：1648838232529}，“出版商位置”：“柏林，海德堡”，“参考计数”：31，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540921875”，“类型”：“打印”}，{“值”：“9783540921882”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2008,1,1]]，“date-time”：“2008-01-01T00:00:00Z”，“timestamp”：1199145600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}“：”2008-01-01T00:00:00Z“，”时间戳“：1199145600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2008]]}，”DOI“：”10.1007\/978-3-540-92188-2_6“，”type“：”book-chapter“，”created“：{”date-ports“：[2008,12,3]]，”日期时间“：”2008-12-03T09:00:21Z“，“时间戳”：1228294821000}，“页面”：“133-152”，“源”：“交叉引用”，“按计数引用”：1，“标题”：[“活动对象和分布式组件：理论和实现”]，“前缀”：“10.1007”，“作者”：[{“给定”：“丹尼斯”，“家族”：“卡罗梅尔”：[]}，{“given”：“Eric”，“family”：“Madelaine”，“sequence”：“additional”，“affiliation”：[]]]，“member”：“297”，“reference”：[{“key”：”6_CR1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/9781-4419-8598-9”，“volume-title”：“对象理论”，“author”：“M.Abadi”，“year”：“1996”，“unstructured”：“Abadi，M.，Cardelli，L.：对象理论。Springer，New York（1996）”}，{“问题”：“10”，“关键”：“6_CR2”，“doi-asserted-by”：“出版商”，“首页”：“58”，“doi”：“10.1145\/323648.323743”，“卷”：“21”，“作者”：“G.Agha”，“年份”：“1986”，“非结构化”：“Agha，G.：演员语言概述。ACM SIGPLAN通知\u00a021（10），58 \u201367（1986）“，“journal-title”：“ACM SIGPLAN Notices”}，{“key”：“6_CR3”，“volume-title“：智利计算机科学学会第二十六届国际会议（SCCC 2007）议事录”，“author”：“S.Ahumada”，“year”：“2007”，“unstructured”：“Ahumada，S.，Apvrille，L.，Barros，T.，Cansado，A.，Madelaine，E.，Salageanu，E.：使用UML指定分形和GCM组件。In：智利计算机科学学会第二十六届国际会议（SCCC 2007）的议事录。IEEE，Los Alamitos（2007）”}，{“key”：“6_CR4”，“volume-title”：“有限转换系统.通信系统的语义”，“作者”：“A.Arnold”，“年份”：“1994”，“非结构化”：“Arnold，A.：有限转换系统。通信系统的语义学。Prentice-Hall，Englewood Cliffs（1994）”}，{“key”：“6_CR5”，“volume-title”：“网格计算：软件环境和工具”，“author”：“L.Baduel”，“year”：“2005”，“非结构化”：“Baduel，L.、Baude，F.、Caromel，D.、Contest，A.、Huet，F.，Morel，M.、Quilici，R.：网格编程、编写、部署。In：网格计算：软件环境和工具。Springer，Heidelberg（2005）”}，{“key”：“6_CR6”，“非结构性”：“Barros，T.，Boulifa，R.，Cansado，A.，Henrio，L.，Madelaine，E.：分布式分形组件的行为模型。电信年鉴（即将出版，2008年）；研究报告INRIA RR-6491，\n\n https:\/\/hal.INRIA.fr\/INRIA-00268965”}，{“key”：“6_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“43”，“doi”：“10.1007\/978-3-540-30232-2_4”，“volume-title”：“网络和分布式系统的形式化技术\u2013 FORTE 2004”，“author”：“T.Barros”，“year”：“2004”，”非结构化“：“Barros，T.，Boulifa，R.，Madelaine，E.：分布式java对象的参数化模型。见：de Frutos-Escrig，D.，N\u00fa\u00f1ez，M.（编辑）FORTE 2004。LNCS，卷\u00a03235，第43页\u201360。Springer，Heidelberg（2004）“}，{“key”：“6_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Barros，T.，Cansado，A.，Madelaine，E.，Rivera，M.：分布式组件的模型检查：Vercors平台。In：组件系统形式方面的第三次研讨会，捷克共和国布拉格，ENTCS（2006年9月）”，“doi”：“10.1016\/j.ENTCS.2006.09.028”}key“：”6_CR9“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”154“，“doi”：“10.1007\/11537328_14”，“volume-title”：“模型检查软件”，“author”：“T.Barros”，“year”：“2005”，“unstructured”：“Barros，T.，Henrio，L.，Madelaine，E.：分层组件的行为模型。收录：Godefroid，P.（编辑）SPIN 2005。LNCS，第00a03639卷，第154\u2013168页。Springer，Heidelberg（2005）“}，{“key”：“6_CR10”，“unstructured”：“Barros，T.，Henrio，L.，Madelaine，E.：分布式层次化组件的验证。In:组件软件形式方面的国际研讨会（FACS 2005）。澳门，ENTCS（2005年10月）”}，}，“key“：”6_CR11“，”doi-asserted-by“：”crossref“，”unstructure“：”Baude，F.，Caromel，D.，Dalmasso，C.，Danalotto，M.，Getov，V.，Henrio，L.，P\u00e9rez，C.：Gcm：自主分布组件分形的网格扩展。《电信年鉴》（2008年出版）“，”DOI“：”10.1007\/s12243-008-0068-8“}，{”issue“：”11-12“，”key“：”6_CR12“，”DOI-asserted-by“：”publisher“，”first page“：“1257”，“DOI”：“10.1002\/spe.767”，“volume”：“36”，“author”：“E.Bruneton”，“year”：“2006”，“unstructured”：“Bruneton，E.，Coupaye，T.，Leclercq，M.，Qu\u00e9ma，V.，Stefani，J.-B.：分形组件模型及其在java中的支持。软质。，实际。专家。\u00a036（11-12），1257\u20131284（2006）“，“日志标题”：“软件。，实际。专家。“}，{”key“：”6_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-85289-6_16“，”volume-title“：“通用组件建模示例”，”author“：”A.Cansado“，“年份”：“2008”，”unstructured“：”Cansado，A.，Caromel，D.，Henrio，L.，Madelaine，E.，Rivera，M.，Salageanu，E.：在GCM中实现的分布式组件的规范语言。收录于：Rausch，A.、Reussner，R.、Mirandola，R.，Pl\u00e1\u0161il，F.（编辑）《通用组件建模示例》。LNCS，卷\u00a05153。Springer，Heidelberg（2008），\n\n http:\\/agrausch.informatik.uni-kl.de\/CoCoME“}，{“key”：“6_CR14”，“unstructured”：“Cansado，A.，Henrio，L.，Madelaine，E.：透明的一流未来和分布式组件。摘自：第五届组件系统形式方面研讨会，西班牙马拉加，ENTCS（2008年9月）“｝，｛”key“：”6_CR15“，”非结构化“：”Cansado，A.，Henrio，L.，Madeline，E.：统一分布式组件的体系结构和行为规范。在：组件系统的形式方面第五次研讨会，西班牙马拉加，ENTCS（2008年9月）“｝，｛”key“：”6_CR16“，”卷标题“：”分布式对象理论“，”作者“：”D.Caromel“，”年份“：”2005年”，“非结构化”：“Caromel，D.，Henrio，L.：分布式对象理论。Springer，Heidelberg（2005）“}，{”key“：“6_CR17”，”doi-asserted-by“：”publisher“，”first page“：”123“，”doi“：”10.1145\/964012“，”volume-title“：”第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集“，”author“：”D.Caromel“，”year“：”2004“，”unstructured“：”Caromel，D.，Henrio，L.，Serpette，B.P.：异步和确定性对象。摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第123\u2013134页。ACM Press，New York（2004）“}，{”key“：”6_CR18“，”doi-asserted-by“：”publisher“，”first page“：“519”，”doi“：”10.1145\/109481.1094852“，”volume-title“：”OOPSLA 2005:第20届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集“，”author“：”P.Charles“，”year“：”2005“，”unstructured“：”Charles，P.、Grothoff，C.、Saraswat，V.、Donawa，C.、Kielstra，A.、Ebcioglu，K.、von Praun，C.和Sarkar，V.：X10：非均匀集群计算的面向对象方法。摘自：OOPSLA 2005:ACM SIGPLAN第20届面向对象编程、系统、语言和应用年会论文集，第519\u2013538页。ACM，纽约（2005）“}，{”key“：”6_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“316”，“doi”：“10.1007\/978-3-540-71316-6_22”，“volume-title”：“Programming Languages and Systems”，“author”：“F.S.Boer de”，“year”：“2007”，“unstructured”：“de Boer，F.S.，Clarke，D.，Johnsen，E.B.：未来的完整指南。摘自：De Nicola，R.（编辑）ESOP 2007。LNCS，第u00a04421卷，第316\u2013330页。Springer，Heidelberg（2007）“}，{”key“：”6_CR20“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“230”，”doi“：”10.1007\/11785477_16“，”volume-title“：“ECOOP 2006\u2013面向对象编程”，”author“：”J.Dedecker“，”year“：”2006“，”unstructured“：”Dedecker，J.、Van Cutsem，T.、Mostinkx，S.、D\u2019Hondt，T.和De Meuter，W.：AmbientTalk中的环境导向编程。摘自：Thomas，D.（编辑）ECOOP 2006。LNCS，第u00a04067卷，第230\u2013254页。Springer，Heidelberg（2006）“}，{”issue“：”1“，”key“：”6_CR21“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1017\/S0956796899003329“，”volume“：‘9’，”author“：”C.Flanagan“，“year”：“1999”，“unstructured”：“Flanagan.，C.，Felleisen，M.：未来的语义和应用。《函数编程杂志》\u00a09（1），1\u201331（1999）“，”journal-title“：《函数编程杂志》}，{“key”：“6_CR22”，“首页”：“13”，“卷”：“4”，“作者”：“H.Garavel”，“年份”：“2002”，“非结构化”：“Garavel，H.，Lang，F.，Mateescu，R.：CADP 2001概述。欧洲软件科学与技术协会（EASST）时事通讯\u00a04，13\u201324（2002）“，“新闻标题”：“欧洲软件科学和技术协会（EASST）时事通讯”}，{“密钥”：“6_CR23”，“首页”：“74”，“卷”：“17”，“作者”：“A.D.Gordon”，“年份”：“1997”，“非结构化”：“Gordon，A.D.，Hankin，P.D.，Lassen，S.B.：祈使宾语的编译和等价。FSTTCS:软件技术和理论计算机科学基础\u00a017，74\u201387（1997）“，“期刊标题”：“FSTTCS:Foundations of Software Technology and Theoretical Computer Science”}，{“issue”：“4”，“key”：“6_CR24”，“doi-asserted-by”：“publisher”，“first page”：《501》，“doi”：“10.1145\/4472.4478”，“volume”：”“7”，“author”：“R.H.Halstead Jr.”年份”：“1985年”，“非结构化”：“Halstead Jr.，R.H.：Multilisp:并发符号计算语言。《美国计算机学会程序设计语言与系统学报》（TOPLAS）\u00a07（4），501\u2013538（1985）“，“期刊标题”：“美国计算机学会编程语言与系统（TOPLAS.）”}，{“问题”：“1\u20132”，“键”：“6_CR25”，“doi-asserted-by”：“出版商”，“首页”：“23”，“doi”：“10.1016\/j.tcs.2006.07.031”，“卷”：“365”，“作者”：“E.B.约翰森”，“年份”：“2006”，“非结构化“：”Johnsen，E.B.，Owe，O.，Yu，I.C.：Creol：分布式并发系统的类型安全面向对象模型。理论计算机科学\u00a0365（1\u20132），23\u201366（2006）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“6_CR26”，“首页”：“471”，“卷标”：“信息处理1974：国际知识产权联议会议录”，“作者”：“G.Kahn”，“年份”：“1974”，“非结构化”：“Kahn，G.：用于并行编程的简单语言的语义。摘自：Rosenfeld，J.L.（编辑）《信息处理1974：国际知识产权联合会会议记录》，第471\u2013475页。North Holland，New York（1974）“｝，｛“key”：“6_CR27”，“first page”：“358”，“volume title”：“第23届ACM SIGACT-SIGPLAN会议记录（POPL 1996）”，“author”：“N.Kobayashi”，“year”：“1996”，“nonstructured”：“Kobayashi，N.，Pierce，B.C.，Turner，D.N.：线性和π演算。In：第23届ACM SIGACT-SIGPLAN会议记录（POPL 1996），St。佛罗里达州彼得堡，2013年1月21日24，第358页2013371。美国计算机学会出版社，纽约（1996）“}，{”key“：”6_CR28“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“26”，”doi“：”10.1007\/BFb0014474“，”volume-title“：“CONCUR 1996:并发理论”，“author”：“H.Lin”，“year”：“1996”，“unstructured”：“Lin，H.：带赋值的符号转换图。收录：Montanari，U.，Sassone，V.（编辑）CONCUR 1996。LNCS，第u00a01119卷，第26\u201329页。Springer，Heidelberg（1996）“}，{”issue“：”3“，”key“：”6_CR29“，”doi-asserted-by“：”publisher“，”first page“：“338”，“doi”：“10.1016\/j.tcs.2006.08.016”，“volume”：“364”，“author”：“j.Niehren”，“year”：“2006”，“unstructured”：“Nieren，j.，Schwinghammer，j，338\u2013356（2006）“，“journal-title”：“理论计算机科学”}，{“key”：“6_CR30”，“unstructured”：“OASIS团队和CoreGRID编程模型虚拟研究所的其他合作伙伴。gcm的创新特征（带示例案例研究）：技术调查。技术报告，可交付成果D.PM.07（2007年9月）”}55“，“volume-title”：“面向对象并发编程”，“author”：“A.Yonezawa”，“year”：“1987”，“unstructured”：“Yonezawa，A.，Shibayama，E.，Takada，T.，Honda，Y.：用面向对象并发语言ABCL\/1建模和编程。收录：Yonezawa，A.，Tokoro，M.（编辑）面向对象并发编程，pp.55\u201389。麻省理工学院出版社，剑桥（1987）“}”，“容器-时间”：[“组件和对象的形式化方法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-92188-2_6”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposited”：｛“日期部分”：[[2019,5,19]]，“日期时间”：“2019-05-19T15:52:01Z”，“时间戳”：1558281121000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_6”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2008]]｝，“国际标准图书编号”：[“9783540921875”，“9783540921882”]，“引用次数”：31，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-540-92188-2_6“，”关系“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN类型“：[”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：”date parts“：[[2008]]｝｝