{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,31]]，“日期-时间”：“2022-03-31T06:54:33Z”，“时间戳”：1648709673078}，“引用-计数”：24，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-零件”：[[2001,8,1]]，《日期-时间》：“2001-08-01T00:00:00:00:00 0Z“，”时间戳“：9966240000000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,11,20]]，“date-time”：“2014-11-20T00:00:00Z”，“timestamp”：1416441600000}，“content-version”：“vor”，“delay-in-days”：4859，“URL“http://creativecommons.org\/licenses\/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2001,8]]}，”DOI“：”10.1016\/s1571-0661（04）00233-6“，”type“：”journal-article“，”created“：{”date-part“：[[2004,2,5]]，”date-time“：”2004-02-05T10:34:35:35Z“，”timestamp“：”1075977275000}“page”：“35-48”，”source“Crossref”“，”，“is-referenced-by-count”：3，“title”：[“Global Types and Network Services”]，“prefix”：“10.1016”，“volume”：“54”，“author”：[{“给定”：“G”，“family”：“Ferrari”，“sequence”：“first”，“affiliation”：[]}，{“given”：”E.“families”：“Moggi”，“sequence”:“additional”，“ability”：[]}，“givention”：“R.”，“隶属关系”：[]}]，“成员”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB1”，“series-title”：“The Jini specification”，“author”：“Arnold”，“year”：“1999”}，{“密钥”：“101016\/S1571-0661。普格利泽。XKlaim中的交互式移动代理。程序中。1998年第七届支持技术：协作企业基础设施（WET-ICE）国际研讨会，第110页\u2013115，IEEE计算机社会出版社，1998年。“}，{”键“：”10.1016\/S1571-0661（04）00233-6_NEWBIB3“，”doi-asserted-by“：”crossref“，“unstructured”：“C.Bodei，P.Degano，F.Nielson，H.R。尼尔森。对进程进行静态分析，以实现无读取和无写操作。程序中。FOSSACS’99，LNCS 1578，pp.120\u201334，Springer，1999.“，”DOI“：”10.1007\/3-540-49019-1_9“}，{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB4”，“DOI-asserted-by”：“crossref”，“unstructured”：“L.Cardelli，A.Gordon。移动环境的类型。ACM编程语言原理研讨会论文集，pp.79\u201392，ACM出版社，1999。”，“DOI”：“”10.1145\/292540.292550“}，{“issue”：“4”，“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB5”，“doi-asserted-by”：“crossref”，“first page”：”444“，”doi“：”10.1145\/63334.6337“，”article-title“：”Linda in Context“，”volume“：”32“，”author“：”Carriero“，”year“：”1989“，”journal-title：“ACM的通信”}，：“10.1016\/S1571-0661（04）00233-6_NEWBIB6”，“doi由“：”crossref“，”非结构化“：”R.Davies，F.Pfenning断言。分阶段计算的模态分析。第23届美国计算机学会编程语言原理年会（POPL'96），佛罗里达州圣彼得堡海滩，1996年1月KLAIM:Agent交互和移动性的核心语言”，“卷”：“24”，“作者”：“De Nicola”，“年份”：“1998”，“日志标题”：“IEEE软件工程学报”}，{“密钥”：“10.1016\/S1571-0661（04）00233-6_NEWBIB8”，“doi-asserted-by”：“crossref”，“非结构化”：“R.De Nichola，G.L.Ferrari，R。普格利泽。类型作为访问策略的规范。在《In Secure Internet Programming:Security Issues for Distributed and Mobile Objects》（J.Vitek，C.Jensen，Eds.）一书中，LNCS State Of The Art Survey，LNCS 1603，Springer，pp.117\u20131461999。“，”DOI“：”10.1007\/3-540-48749-2_6“｝，｛”issue“：”1“，”key“：”10.1016\/S1571-0661（04）00233-6_NEWBIB9“，”DOI asserted by“：”crossref“，”first page“：”215“，”DOI“：”10.1016\/S0304-3975（99）00232-7“，“文章标题”：“访问控制类型”，“卷”：“240”，“作者”：“De Nicola”，“年份”：“2000”，“期刊标题”：《理论计算机科学》}，{“键”：“10.1016\/S1571-0661（04）00233-6_NEWBIB10”，“非结构化”：“J-Y。吉拉德。解释functionelle et limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e 9rieur。博士。论文，巴黎第七大学，1972年。“}，{”问题“：“1”，”关键“：“10.1016\/S1571-0661（04）00233-6_NEWBIB11”，“doi-asserted-by”：“crossref”，“first page”：“80”，“doi”：“10.1145\/2363.2433”，“article-title”：“Linda中的生成交流”，“volume”：s和系统“}，{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB12”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Heintze，J.G.Riecke。SLam演算：保密和完整的编程。《美国计算机学会编程语言原理会议（POPL）程序》，第365\u2013377页，美国计算机学会出版社，1998年。”，“doi”：“101145\/268946.268976”}，{”key“：”10.1016\/S1571-661（04）00233-6_NEWBIB13“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Hennessy，J.Riely。匿名网络中移动代理的类型安全执行。《安全互联网编程：分布式和移动对象的安全问题》（J.Vitek，C.Jensen，Eds.），LNCS State-Of-The-Art-Survey，LNCS 1603，Springer，pp.95\u2013115，1999.“，”DOI“：”10.1007\/3-540-48749-2_5“}，{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB14”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Hennessy，J。瑞利。异步像素中的信息流与资源访问。程序中。国际自动化、语言和编程学术讨论会（ICALP），LNCS，Springer，pp.415\u20134272000。“，”DOI“：”10.1007\/3-540-45022-X_35“}，{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB15”，“DOI-asserted-by”：“crossref”，“unstructured”：“D。基利。受限移动功能。程序中。第14届IEEE计算机安全基础研讨会，IEEE计算机学会，2001年。“，”DOI“：”10.1109\/CSFW.2001.930153“}，”{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB16”，”DOI-asserted-by“：”crossref“，”first page“：“1”，”DOI:“10.1016 \/0890-5401（92）90008-4”，”article-title“：”移动进程演算，（第一部分和第二部分）“，”volume“：”100“，”author“：”Milner“，”year“：”1992“，”journal-title“：”Information and Computation“}，{”key“：”10.1016\/S1571-0661（04）00233-6_NEWBIB17“，”doi-asserted-by“：”crossref“，”unstructured“：”E.Moggi，F.Palumbo。效果的单数封装：修订方法。《理论计算机科学电子笔记》，26 119\u2013136。第三届语义高阶操作技术国际研讨会，1999年。”，“DOI”：“10.1016\/S1571-0661（05）80287-7”}，{“key”：“101016\/S1571-0671（04）00233-6_NEWBIB18”，“DOI-asserted-by”：“crossref”，“unstructured”：“E.Moggi，A.Sabry。效果的单数封装：修订方法（扩展版）《函数编程杂志》即将出版。“，”DOI“：”10.1017\/S095679680104154“}，{”key“：”101016\/S1571-0661（04）00233-6_NEWBIB19“，”DOI-asserted-by“：”crossref“，”unstructured“：”G.Necula.Proof-carrying-code.Proc.of the ACM Symposium on Principles of Programming Languages，1997.“，”DOI“：0“，”DOI-asserted-by“：”crossref“，”非结构化“：”J.Riely，M.Hennessy。移动代理开放系统中的信任和部分键入。程序。ACM编程语言原理研讨会，第93\u2013104页，ACM出版社，1999年。“，”DOI“：”10.1145\/292540.292551“}，{“key”：“10.1016\/S1571-0661（04）00233-6_NEWBIB21”，“unstructured”：“Sun Microsystems.the JavaSpace Specifications。可从http://java.Sun.com/products\/javaspaces获得，1997年。”}00233-6_NEWBIB22”，“doi asserted by”：“crossref”，“doi”：“10.1006\/inco.1994.1093”，“文章标题”：“类型健全性的句法方法”，“卷”：“115”，“作者”：“Wright”，“年”：“1994”，“期刊标题”：“信息与计算”}，｛“键”：“10.1016\/S1571-061（04）00233-6_NEWBIB23”，“doi asserted by”：“crossref”，“非结构化”：“N.Yoshida，M。轩尼诗。分布式高阶过程中的子类型和局部性。程序中。并发理论国际会议（CONCUR），LNCS 1664，Springer，pp.557\u20135721999.“，“DOI”：“10.1007\/3-540-48320-9_38”}，{“key”：“101016\/S1571-0661（04）00233-6_NEWBIB24”，“unstructured”：“N.Yoshida，M.Hennessy。为过程分配类型。CS技术报告02\/99，苏塞克斯大学，1999。网址：http://www.mcs.le.ac.uk\/\u00f1yoshida“}]，“container-title”：[“理论计算机科学中的电子笔记”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002336？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“内容版本”：“vor”，“intended-xml”应用程序“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104002336？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2020,3,30]]，“date-time”：”2020-03-30T12:29:38Z“timestamp”：1585571378000}，“score”：1，“资源”：{“主资源”：}“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066104002336“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2001,8]]}，“references-count”：24，“alternative-id”：[“S1571066104002.336”]，“URL”：“http://\/dx.doi.org\/10.10016\/s1571-0661（04）00233-6”，“relation”：{}，ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-00661“，”type“:”print“}]，”主题“：[]，”已发布“：{“日期部分”：[[2001,8]]}}