{“id”：“https://openalex.org/W2039512273“，”doi“：”https://doi.org/10.1016/s1571-0661（04）00233-6“，”title“：“全局类型和网络服务”，”display_name“：”Global Types and Network Services“，”publication_year“：2001，”publiation_date“：”2001-08-01“，”ids“：{”openalex“：”https://openalex.org/W2039512273“，”doi“：”https://doi.org/10.1016/s1571-0661（04）00233-6“，”mag“：”2039512273“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）00233-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/s1571-0661（04）00233-6“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5026348666“，”display_name“：”Gian Luigi Ferrari“，”orcid“：”https://orcid.org/0000-0003-3548-5514}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Ferrari“，”raw _ afiliation_strings“：[“意大利比萨大学信息学博士”]，”从属关系“：[{”raw _affiliation_strong“：”意大利比萨学院信息学博士“，”，“institution_ids”：[“https://openalex.org/I108290504“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _ afiliation_strings“：[“DISI，意大利热那瓦大学”]，”从属关系“：[{”raw _affiliation_strong“：”DISI，义大利热那亚大学“，”institution_ids“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066761763“，”display_name“：”Rosario Pugliese“，”orcid“：”https://orcid.org/0000-0002-1419-1405“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”R.Pugliese“，”raw _ afiliation_strings“：[“意大利费伦泽大学信息科学研究院学位”]，“affiliations”：[{”raw _affiliation_string“：”意大利费伦兹大学信息科学院学位“，”“institution_ids”：[]}]，“countries _ distinct_count”：1，“institutions_distinct_count“：1，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：1.339，“has_fulltext”：false，“cited_by_count”：4，“cited_by_percentile_year”：{“min”：75，“max”：76}，“biblio”：{“volume”：“54”，“issue”：nully，“first_page”：“35”，“last_page”：”48“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9994，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.497459｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.8091447}，{”id“：”https://openalex.org/C118930307，“wikidata”：https://www.wikidata.org/wiki/Q600590“，”display_name“：”Tuple“，”level“：2，”score“：0.7192931}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.6891626}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.5878209}，{”id“：”https://openalex.org/C70388272，“wikidata”：https://www.wikidata.org/wiki/Q5968558“，”display_name“：”IBM“，”level“：2，”score“：0.5770639}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.5657428}，{”id“：”https://openalex.org/C2780378061，“wikidata”：https://www.wikidata.org/wiki/Q25351891网址“，”display_name“：”服务（业务）“，”级别“：2，”分数“：0.5630026}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”display_name“：”Code（set theory）“，”level“：3，”score“：0.49121922}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.46929651}，{”id“：”https://openalex.org/C2780876879，“wikidata”：https://www.wikidata.org/wiki/Q3054749“，”display_name“：”意义（存在）“，”级别“：2，”分数“：0.4477916}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.39944214}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371网址“，”display_name“：”计算机网络“，”level“：1，”score“：0.37508237}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.26409563}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C136264566，“wikidata”：https://www.wikidata.org/wiki/Q159810“，”display_name“：”Economy“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C542102704，“wikidata”：https://www.wikidata.org/wiki/Q183257“，”display_name“：”心理治疗师“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）00233-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/s1571-0661（04）00233-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W144484064","https://openalex.org/W1605033550网址","https://openalex.org/W1799317750","https://openalex.org/W1822069111","https://openalex.org/W1965498649","https://openalex.org/W1980939032","https://openalex.org/W1988177568","https://openalex.org/W2006138892","https://openalex.org/W2016017569","https://openalex.org/W2019545801","https://openalex.org/W2034711041","https://openalex.org/W2035746984","https://openalex.org/W2048984644","https://openalex.org/W2060662244","https://openalex.org/W2128138604","https://openalex.org/W2128932399","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W4232933151“]，”related_works“：[”https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W3207760230","https://openalex.org/W2358353312","https://openalex.org/W2353836703","https://openalex.org/W2296488620","https://openalex.org/W2051058708","https://openalex.org/W17155033","https://openalex.org/W1590307681","https://openalex.org/W1496222301“]，”ngrams_url“：”https://api.openalex.org/works/W2039512273/ngrams网站“，”“abstract_inverted_index”：{“移动性”：[0]，“似乎”：[1]，“to”：[2,14,37,46,68,88]，“be”：[3,86]，“a”：[4,15,50,73]，“基本”：[5]，“方面”：[6]，“for”：[7,91]，“全局”：[8,64]，“计算”：[9]，“然而”：[10]，“it”：[11]，“给定”：[12]，“上升”：[13]，“地段”：[16]，“共”：[17,25,32,54103123]，“相关”：[18]，“安全”：[19]，“问题。”：[20]，“我们”：[21,35106]，“地址“：[22]，”the“：[23,4712116]，”problem“：[24]，”protecting“：[26]，”hosts“：[27]，”from“：[28]，”attacks“：[29]，”or“：[30,57]，”misbehavior“：[3]，”mobile“：[33]，”进程。“：[34]，”提议“：[36]，”移动“：[38]，”进程“：[39,42]，”抽象“：[40]，”即“：[41]，”参数化“：[43]，”与“：[44101]，”尊重“：[45]，”操作“：[48,71]，”有“：[49,72]，”本地“：[51,74]，”含义“：[52]，”代替“：[53]，”过程“：[55,59]，”就绪“：[56]，”活动“：[58]，“（代理人）。“：[60]，”此外，“：[61]，”我们“：[62]，”利用“：[63]，”值“：[65]，”和“：[66,84,93134]，”类型“：[67]，”确保“：[69]，”that“：[70,97]，”意思是“：[75]，”are“：[76119]，”used“：[77]，”only“：[78]，”local。“：[79]，“我们的”：[80]，“方法”：[81109]，“是”：[82]，“通用”：[83]，“可以”：[85]，“应用的”：+87]，“每一个”：[89]，“语言/系统”：[90]，“编程”：[92]，“协调”：[94]，“网络”：[95117126]，“服务”：[96118]，“许可”：[98]，“远程”：[99]，“通信”：[100]，“传输”：[102]，“代码”：[104]，”碎片。“：[105]，”说明“：[107]，”我们的“：[108]，”通过“：[11012]，”使用“：[111]，”克莱姆“：[113]，”语言，“：[114]，”其中“：[115]，”编纂“：[120]，”表示“：[122]，”元组“：[124]，”内部“：[125]，”服务“：[127]，”存储库“：[128]，”作为“：[129]，”例如“：[130]，”in“：[131]，”SUN“：[132]，“JavaSpace”：[133]，“IBM”：[135]，“TSpace”。“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2039512273“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}]，”更新日期“：”2024-06-20T09:20:06.045435“，”创建日期“：“2016-06-24”}