｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,2]]，“日期时间”：“2022-04-02T06:53:51Z”，“时间戳”：1648882431604｝，“发布者位置”：“柏林，海德堡”，“引用计数”：35，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540425588”，“类型”：“打印”｝，｛“值”：“9783540448068”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-44806-3_11“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,20]]，“date-time”：“2007-07-20T14:21:36 Z“，”时间戳“：1184941296000}，”页面“：”183-198“，”源“：“Crossref”，“is-referenced-by-count”：2，“title”：[“MetaKlaim:全球计算元编程”]，“prefix”：“10.1007”，”author“：[{”given“：”Gianluigi“，”family“：”Ferrari“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Eugenio”，“family”：“Moggi”，“sequence”：“additional”，“afliation”：[]{“给定”：“Rosario”，“家族”：“Pugliese”，“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2001,9,3]]}，“reference”：[{“key”：“11_CR1”，“unstructured”：“C.Calcagno，E.Moggi，T.Sheard，W.Taha。安全命令式MetaML的闭合类型。提交发布，2001。”}，{“key”：”11_CR2“，”doi-asserted-by“：”crossref“，”unstructure“：”L。卡德利。程序片段、链接和模块化。程序中。《美国计算机学会编程语言原理研讨会》，美国计算机学会出版社，1997年。“，“DOI”：“10.1145\/263699.263735”}，{“key”：“11_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“L.Cardelli and A.Gordon。Mobile Ambients.Theory Computers Science 240（1），Elsevier 2000。”，“DOI:”10.1016\/S0304-3975（99）00231-5“}，“key“：”11_CR4“，”“DOI-sserted-by“：”crossref”，“非结构化”：“L.Cardelli，A.Gordon。移动环境的类型。程序中。《美国计算机学会编程语言原理研讨会》，第79\u201392页，美国计算机学会出版社，1999年。“，”DOI“：”10.1145\/292540.292550“}，{”key“：”11_CR5“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“安全Internet编程：分布式和移动对象的安全问题”，“author”：“L.Cardelli”，“year”：“1999”，“unstructured”：“L。Cardelli，移动计算抽象，In Secure Internet Programming:Se security Issues for Distributed and Mobile Objects（J.Vitek，C.Jensen，Eds.），LNCS State-Of-The-Art-Survey，LNCS 1603，Springer，1999.“}，{”key“：”11_CR6“，”doi-asserted-by“：”publisher“，”first page“：“444”，“doi”：“10.1145\/63334.3337”，“volume”：“32W4”，”author“N.”。Carriero”，“年份”：“1989”，“非结构化”：“N.Carriero，D.Gelernter。背景中的琳达。《ACM通信》，32W（4）：444\u2013458，ACM出版社，1989年。“，“journal-title”：“ACM通信”}，{“key”：“11_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“R.Davies。绑定时间分析的时间逻辑方法。第11届IEEE计算机科学逻辑研讨会（LICS），第184\u2013195页，新不伦瑞克，1996年。IEEE计算机学会出版社。“，”DOI“：”10.1109\/LICS.1996.561317“}，{“key”：“11_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.Davies，F.Pfenning。阶段计算的模态分析。在第23届ACM编程语言原理研讨会（POPL）上，第258\u2013270页，圣彼得堡海滩，1996年。”，“DOI”：“10.1145\/237721.237788”}，“{”issue“：”5“，”key“：”11_CR9“，”doi-asserted-by“：”publisher“，”first page“：”315“，”doi“：”10.1109\/32.685256“，“volume”：“24”，“author”：“R.Nicola De”，“year”：“1998”，“unstructured”：“R·De Nicola-，G·L.Ferrari，R·Pugliese。KLAIM:Agent交互和移动性的核心语言，IEEE软件工程学报，24（5）：315\u2013330，IEEE计算机学会，1998年10.1007 \/3-540-48749-2_6“，“volume-title”：“安全互联网编程：分布式和移动对象的安全问题”，“author”：“R.Nicola De”，“year”：“1999”，“unstructured”：“R De Nicolo，G.L.Ferrari，R.Pugliese。类型作为访问策略的规范。In-Secure Internet Programming:Se security Issues for Distributed and Mobile Objects（J.Vitek，C.Jensen，Eds.），LNCS State-Of-The-Art-Survey，LNCS 1603，Springer，pp.117\u2013146，1999.“}，{”key“：”11_CR11“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“编程访问控制：KLAIM体验”，“作者”：“R.Nicola De”，“年份”：“2000年”，“非结构化”：“R.De Nicola，G.Ferrari，R.Pugliese。编程访问控制：KLAIM体验，进行中。CONCUR\u20182000，LNCS 18772000。“}，{“key”：“11_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“R.De Nicola，G.L.Ferrari，R.Pugliese，B.Venneri.访问控制类型。理论计算机科学，240（1）：215\u2013254，协调专刊，Elsevier Science，2000年7月。”，“doi”：“10.1016\/S0304-3975（99）00232-7”}，}“key”：”11_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”S.Drossopoulou。Java动态链接和验证的抽象模型。程序中。编译中的类型，2000年。“，”DOI“：”10.1007\/3-540-45332-6_3“}，{“key”：“11_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“S.Drossopoulou，S.Eisenbach，D.Wragg。碎片计算提出了一个独立编译、链接和二进制兼容性的模型。在第十四届计算机科学逻辑研讨会（LICS\u201899）上，第147\u2013156页，华盛顿-布鲁塞尔-东京，1999年7月。电气与电子工程师协会。“，”DOI“：”10.1109\/LICS.1999.782606“}，{“key”：“11_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.Ferrari，E.Moggi，R.Pugliese.Global Types and Network Services。In Proc.ConCoord:Concurrency and Coordination国际研讨会，ENTCS 54（Montanari and Sassone Eds），Elsevier Science，2001。”，“DOI”：“10.1016\/S1571-0661（04）00233-6”}，}“key“：”11_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”A.Fuggetta，G.Picco，G.Vigna。Understanging Code Mobility，IEEE Transactions on Software Engineering，24（5），IEEE Computer Society，1998.“，”DOI“：”10.1109\/32.685258“}，{”key“：”11_CR17“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“A Calculus of Mobile Agents”，“author”：“C.Fornet”，“year”：“1996”，“unstructured”：“Fornet，C.，Gonthier，G.Levy，J-J.，Maranget，L.，Remy，D。移动代理微积分，In Proc。CONCUR\u201896，LNCS 1119，Springer，1996.“}，{”key“：”11_CR18“，”unstructured“：”J-Y.Girard.Interprept\u00e9tation fonctionelle et \u00e 9limination des coupures de l\u2018arithm\u00e_9tique d\u2018ordre sup\u00er9rieur.博士论文，巴黎第七大学，1972年。“}”，{“issue”：“1”，“key”：“11_CR19”，“doi-asserted-by“：”publisher“，”first page“：”80“，”doi“：”10.1145\/2363.2433“，“卷”：“7”，“作者”：“D.Gelernter”，“年份”：“1985”，“非结构化”：“D.Gelernster”。琳达的生成性沟通。美国计算机学会程序设计语言与系统汇刊，7（1）：80\u2013112，美国计算机学会出版社，1985年。”，“期刊标题”：“美国计算机学会程序设计语言与系统汇刊”，｛“密钥”：“11_CR20”，“系列标题”：“Lect Notes Comput Sci”，“卷标题”：“移动代理与安全”，“作者”：“R.Gray”，“年份”：“1998”，“非结构化”：“R.Gray，D.Kotz，G.Cybenko和D。俄罗斯。D\u2018Agents：多语言移动代理系统中的安全性。G.Vigna，移动代理和安全编辑，《计算机科学讲义》，Springer-Verlag，1998年。瑞利。移动代理、信息和计算系统中的资源访问控制，将于2001年出现。”，“DOI”：“10.1006\/inco.2001.3089”｝，｛“key”：“11_CR23”，“nonstructured”：“M.Hicks and S。威里奇。《动态载荷的微积分》，技术报告，MSCIS-00-07，宾夕法尼亚大学，2000年，（在线http://www.cis.upenn.edu\/mwh\/papers\/loadcalc.pdf）。“}，{”key“：”11_CR24“，”doi-asserted-by“：”crossref“，”unstructured“：”S.Kamin，M.Callahan，L.Clausen.轻量级和生成性组件II:二进制级组件。在[31]中，第28\u201350，2000页。“，”doi“：”10.1007\/3-540-45350-4_6“}”，{“key”：“11_CR25”，“unstructure”：“”MetaML主页提供源代码和在线文档http://www.cse.ogi.edu\/PacSoft\/projects\/MetaML\/index.html。“}，{”key“：”11_CR26“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“193”，“doi”：“10.1007\/3-540-49099-X13”，“volume-title”：“欧洲程序设计研讨会（ESOP）”，“author”：“E.Moggi”，“year”：“1999”，“unstructured”：“E.Moggi，W.Taha，Z.Benaissa，T.”。谢尔德。理想化的MetaML：更简单，更具表现力。欧洲程序设计研讨会（ESOP），计算机科学讲义第1576卷，第193\u2013207页。Springer-Verlag，1999.“}，{”key“：”11_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”F.Nielson，H.R.Nielon，and C.L.Hankin.Principles of Program Analysis。Springer-Verlag，1999。“，”doi“：”10.1007\/978-3662-03811-6“}”，{“key”：“11_CR28”，“doi-assert-by”：”crosdref“”，”unsructured”：“Z.Qian，A.Goldberg，A。科利奥。JavaTM类加载的正式规范。在《面向对象编程、系统、语言和应用会议记录》（OOPSLA-00）中，ACM SigplanNotices第35.10卷，第325页\u2013336页，纽约，2000年10月15日\u201319。ACM出版社。“，”DOI“：”10.1145\/354222.353193“}，{“key”：“11_CR29”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Sewell.模块，抽象类型和分布式版本控制。在Proc.ACM Symposium on Principles of Programming Languages，ACM Press，2001.”，“DOI”：“10.1145\/360204.360225”}，}，“key“：”11_CR30“，”DOI-assert-by“：”crossref.“，”unstructure“：”P.Sewerl，P。沃伊切霍夫斯基。Nomadic Pict：移动代理的语言和基础设施设计。IEEE Concurrency，2000.“，“DOI”：“10.1109\/4434.846193”}，{“key”：“11_CR31”，“series-title”：“Lect Notes Compute Sci”，“volume-title”：《程序生成的语义、应用和实现》，“year”：“2000”，“unstructured”：“W。塔哈，编辑。《程序生成的语义、应用和实现》，计算机科学讲义第1924卷，Montr\u00e9al，2000年。斯普林格·弗拉格。“}，{”issue“：”3“，”key“：”11_CR32“，”doi-asserted-by“：”publisher“，”first page“：“245”，”doi“：”10.1017\/S09567968800000393“，“volume”：“2”，“author”：“J.-P.Talpin”，“year”：“1992”，“unstructured”：“J-P.Talpin，P.Jouvelot。多态类型，区域和效果推断。函数编程杂志，2（3）：245\u20132711992。”，“，”Journal-title“：”函数编程杂志“}，{”issue“：“2”，”key“：“11_CR33”，”doi-asserted-by“：”publisher“，”first page“：”245“，”doi“：”10.1006\/inco.1994.1046“，”volume“:”111“，”author“：”J.-P.Talpin“，”year“：”1994“，”unstructured“：”J-P.Talpin，P.Jouvelot。类型和效果规程。信息与计算，111（2）：245\u20132961994年6月。“，”journal-title“：“信息与计算”}，{“key”：“11_CR34”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-48749-2”，“volume-title”：《迈向安全移动计算的微积分》，“author”：“J.Vitek”，“year”：“1999”，“unstructured”：“J Vitek，G。卡斯塔尼亚。安全移动计算微积分。在网络编程语言研讨会上，LNCS 1686，Springer，1999.“}，{”key“：”11_CR35“，”doi-asserted-by“：”crossref“，”unstructured“：”A.K.Wright，M.Felleisen.A syntax approach to type soundness.Information and Computation，115（1），1994.“，”doi“：”10.1006\/inco.1994.1093“}]，”container-title“：[”计算机科学讲稿“，”程序生成的语义、应用和实现“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-44806-3_11“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,5,1]]，”date-time“：“2019-05-01T06:59:08Z”，“timestamp“：1556693948000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/3-540-44806-3_11“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2001]]}，《ISBN》：[“9783540425588”，“9783548068”]，“references-count”：35，“URL”：“http://\/dx.doi”。org\/10.1007\/3-540-44806-3_11“，”关系“：{}，”ISSN“：[”0302-9743“]，”issn-type“：[{”value“：“0302-9743”，“type”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2001]]}}