{“id”：“https://openalex.org/W2150224578“，”doi“：”https://doi.org/10.1145/2429069.2429104“，”title“：”Views“，”display_name“：”View“，”publication_year“：2013，”publiation_date“：”2013-01-23“，”ids“：{”openalex“：”https://openalex.org/W2150224578“，”doi“：”https://doi.org/10.1145/2429069.2429104“，”mag“：”2150224578“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2429069.2429104“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5063687513“，”display_name“：”Thomas Dinsdale-Young“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Thomas Dinsdale-Young“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5055959064“，”display_name“：”Lars Birkedal“，”orcid“：”https://orcid.org/0000-0003-1320-0098}，“机构”：[{“id”：https://openalex.org/I83467386“，”display_name“：”哥本哈根信息技术大学“，”ror“：”https://ror.org/02309jg23“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I83467386“]}]，”国家“：[”DK“]，”is_corresponding“：false，”raw_author_name“：”Lars Birkedal“，”raw _ afiliation_strings“：[“丹麦哥本哈根IT大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5001725251“，”display_name“：”Matthew Parkinson“，”orcid“：”https://orcid.org/0009-0004-3937-1260}，“机构”：[{“id”：https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Matthew Parkinson“，”raw_affiliation_strings“：[“Microsoft Research，Cambridge，United Kingdom”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5031503814“，”display_name“：”Hongseok Yang“，”orcid“：”https://orcid.org/0000-0003-3724-5055}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Hongseok Yang“，”raw _ afiliation_strings“：[“英国牛津大学”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：4，”corresponding_author_ids“：[]，”coresponding_institution_idscited_by_count“：113，”cited_by_percentle_year“：｛”min“：98，”max“：99｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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.9994，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.567253}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.525743}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.500144}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84959954}，{”id“：”https://openalex.org/C138101251，“wikidata”：https://www.wikidata.org/wiki/Q213092“，”display_name“：”线程（计算）“，”级别“：2，”分数“：0.7870414}，{”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382“，”display_name“：”不相交集“，”level“：2，”score“：0.7241424}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.67589414}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548（网址：https://www.wikidata.org/wiki/Q1414548）“，”display_name“：”Concurrency“，”level“：2，”score“：0.55908173}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.5420516}，{”id“：”https://openalex.org/C59656382，“wikidata”：https://www.wikidata.org/wiki/Q191536“，”display_name“：”Conjunction（天文学）“，”level“：2，”score“：0.4924127}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45502147}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.114156544}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.06940031}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”display_name“：”Astronomy“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2429069.2429104“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：21，“referrenced_works”：[”https://openalex.org/W1528322206","https://openalex.org/W1549217957","https://openalex.org/W1552367747","https://openalex.org/W1595420666","https://openalex.org/W1964727056","https://openalex.org/W2061341742","https://openalex.org/W2069107692","https://openalex.org/W2074457838","https://openalex.org/W2075373350","https://openalex.org/W2090551028","https://openalex.org/W2136739578","https://openalex.org/W2138527110","https://openalex.org/W2144058993","https://openalex.org/W2148687959","https://openalex.org/W2150224578","https://openalex.org/W2154768716","https://openalex.org/W3028779248","https://openalex.org/W4235868899","https://openalex.org/W4241892188","https://openalex.org/W4253344502","https://openalex.org/W4256027310“]，”related_works“：[”https://openalex.org/W4388169484","https://openalex.org/W3149224203","https://openalex.org/W3108840034","https://openalex.org/W3036937347网址","https://openalex.org/W2753053412","https://openalex.org/W2665157442","https://openalex.org/W2363259562","https://openalex.org/W1974317370","https://openalex.org/W1599690842","https://openalex.org/W1573992054“]，”ngrams_url“：”https://api.openalex.org/works/W2150224578/ngrams网站“，”“abstract_inverted_index”：{“Compositional”：[0]，“abstrations”：[1,25]，“underly”：[2]，“many”：[3,35]，“reasoning”：[4]，“principles”：[5]，“for”：[6]，“concurrent”：[7,10]，“programs:”：[8]，“the”：[9,47,50,64,70,73,85]，“environment”：[11]，“is”：[12]，“abracted”：[13]，“in”：[14,21]，“order”：[15]，“to”：[16,28,72]，“reason”：[17,29]，“about”：[18,30]，“a”：[19,31]，“线程“：[20]，”隔离；“：[22]，”和“：[23]，”这些“：[24]，”是“：[26]，”组合“：[27,62,80]，”程序“：[32]，”组成“：[33]，”的“：[34,46,75,87]，”线程。“：[36]，”For“：[37]，”instance“：[38]，”separation“：[39]，”logic“：[40]，”uses“：[41]，”formulas“：[42]，”that“：[43]，”description“：[44]，”part“：[45]，”state“：[48,57]，”抽象“：[49]，”rest；“：[51]，”when“：[52,81]，”two“：[53]，”threads“：[54,77]，”use“：[55]，”disjoint“：[56]，”their“：[58]，”specifications“：59]，”can“：[60]，”be“：[61,79]，”with“：[63]，”separated“：[65]，”conjunction“。“：[66]，”类型“：[67]，”系统“：[68]，”抽象“：[69]，”状态“：[71]，”类别“：[74,86]，”变量；“：[76]，”可以“：[78]，”他们“：[82]，”同意“：[83]，”关于“：[84]，”共享“：[88]，”变量。“：[89]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2150224578“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：6}，”{“年份”：2022，“cited_by_count”：5}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：14}，{“年份”:2016，“引用_by_counts”：13}，}“年份“：2015，”cited_by_count“：19}，{“年份”：2014，“cited_by_count”：12}，}“年份“：2013，“cited_by_count）：8}，｛“年份：2012，”cited_by _count〃：1}]，“更新日期”：“2024-05-11T05:57:42.370846”，“创建日期”：”2016-06-24“}