{“id”：“https://openalex.org/W4237730680“，”doi“：”https://doi.org/10.1007/978-3-642-14107-2_24“，”title“：”并发抽象谓词“，”display_name“：”并发抽象谓词“，”publication_year“：2010，”publication_date“：”2010-01-01“，”ids“：｛”openalex“：”https://openalex.org/W4237730680“，”doi“：”https://doi.org/10.1007/978-3-642-14107-2_24“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-14107-2_24“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33268/2/Dinsdale-Young2010Concurrent.pdf“，”any_repository_has_fulltext“：true}，”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“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Thomas Dinsdale-Young“，”raw _affiliation_strings“：【”伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_string“：”伦敦帝国学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5085860278“，”display_name“：”Mike Dodds“，”orcid“：”https://orcid.org/0000-0002-4439-0130}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Mike Dodds“，”raw _affiliation_strings“：[“剑桥大学”]，”affiliations“：[{”raw_affiliation_string“：”剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”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 _ afiliation_strings“：[“伦敦帝国理工学院”]，”affiliations“：[{”raw_ afiliation _string“：”伦敦帝国理学院“，”institution_ids“：[https://openalex.org/I47508984“]}]}，{”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/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Matthew J.Parkinson“，”raw _affiliation_strings“：[“剑桥大学”]，”affiliations“：[{”raw _affiliation_string“：”剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023359178“，”display_name“：”Viktor Vafeiadis“，”orcid“：”https://orcid.org/0000-0001-8436-0334}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Viktor Vafeiadis“，”raw _ afiliation_strings“：[“剑桥大学”]，”affiliations“：[{”raw_ afiliation _string“：”剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“has_fulltext”：false，“cited_by_count”：117，“citected_by_percentile_year”：{“min”：98，“max”：99}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”504“，”last_page“：”528“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：1.0，“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”：1.0，“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/T10054“，”display_name“：”并行计算和性能优化“，”score“：0.999，”subfield“：｛”id“：”https://openalex.org/subfields/1708“，”display_name“：”Hardware and Architecture“｝，”field“：｛”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.616089｝，｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.533039}，{”id“：”https://openalex.org/keywords/multicore-architectures网站“，”display_name“：”Multicore Architectures“，”score“：0.521397}，{”id“：”https://openalex.org/keywords/并行计算“，”display_name“：”并行计算“，”score“：0.511456}]，”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.88898814}，{”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382“，”display_name“：”不相交集“，”level“：2，”score“：0.69111675}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6859449}，{”id“：”https://openalex.org/C174839445，“wikidata”：https://www.wikidata.org/wiki/Q1134386“，”display_name“：”Lock（firarm）“，”level“：2，”score“：0.644644}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.6106224}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.6049745}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”Abstraction“，”level“：2，”score“：0.55987906｝，｛”id“：”https://openalex.org/C203222032，“wikidata”：https://www.wikidata.org/wiki/Q5159104“，”display_name“：”并发数据结构“，”level“：3，”score“：0.5009301}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.48714897}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.47033414}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44008642}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.3824885}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.10208222}，{”id“：”https://openalex.org/C78519656，“wikidata”：https://www.wikidata.org/wiki/Q101333“，”display_name“：”机械工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-14107-2_24“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/33268，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33268/2/Dinsdale-Young2010Concurrent.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/33268，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33268/2/Dinsdale-Young2010Concurrent.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，”type“：”repository“}，”license“：”cc by nc nd“，”license_id“：”https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1552367747网址","https://openalex.org/W156838614","https://openalex.org/W1584342183","https://openalex.org/W1607674807","https://openalex.org/W1819989006","https://openalex.org/W2074457838","https://openalex.org/W2075373350","https://openalex.org/W2101939036","https://openalex.org/W2120716072","https://openalex.org/W2148687959","https://openalex.org/W2155032935","https://openalex.org/W2171685273","https://openalex.org/W4237730680","https://openalex.org/W4245729501","https://openalex.org/W4253344502","https://openalex.org/W4256027310","https://openalex.org/W4293763691“]，”related_works“：[”https://openalex.org/W4386555206网址","https://openalex.org/W4297665144","https://openalex.org/W4230121659","https://openalex.org/W3023676318","https://openalex.org/W3005098884","https://openalex.org/W2588901507","https://openalex.org/W2155032935","https://openalex.org/W2149504509","https://openalex.org/W2102586322","https://openalex.org/W2002292019“]，”ngrams_url“：”https://api.openalex.org/works/W4237730680/ngrams网站“，”“abstract_inverted_index”：{“抽象”：[0,11]，“是”：[1,12,32]，“键”：[2]，“到”：[3,14]，“理解”：[4]，”和“：[5,56,87118]，“推理”：[6,45104]，“关于”：[7,47,78]，“大”：[8]，“计算机”：[9]，“系统”：[10]，“简单”：[13]，“实现”：[15]，“if”：[16]，“the”：[17,34,78]70129]，“相关”：[18]，“数据”：[19,48]，“结构”：[20,49]，“是”：[21,28,66]，“不相交，“：[22]，”但“：[23]，”而“：[24]，”困难“：[25]，”当“：[26]，”他们“：[27]，”部分“：[29]，”共享“：[30]，”作为“：[31]，”经常“：[33]，”案例“：[35]，”对于“：[36,44,91]，”并发“：[37,73,97123]，”模块。“：[38]，“We”：[39,76100]，“present”：[40]，“a”：[41,52,64,79110122]，“program”：[42]，“logic”：[43,84]，“abstractly”：[46]，“that”：[50]，“supplies”：[51]，“factory”：[53]，“of”：[54,6310915121128]，“disjointness”：[55]，“permits”：[P7]，“compositional”：[58]，“reasoning”。“：[59]，”The“：[60]，”internal“：[61]，”details“：[62]，”module“：65112125]，”complete“：[67]，”hidden“：[68]，”from“：[69]，”client“：[71,94]，”by“：[72,93105]，”abstract“：[74,89,98103]，”谓词。“：[75,99]，”原因“：[77]，”模块“：[80]，”实现“：[81]，”使用“：[82,96]，”分隔“：[83]，”与“：[85]，”权限，“：[86]，”提供“：[88]，”规范“：[90]，”用法“：[92]，”程序“：[95]，”说明“：[101]，”我们的“：[102]，”建筑“：[106]，”两个“：[107119]，”实施“：[108120]，”锁定“：[11130]，“on”：[113126]，“top”：[1114127]，“hardware”：116]，“指令，“：[117]，”设置“：[124]，”模块。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4237730680“，”counts_by_year“：[{”年“：2024，”cited_by_count“：4}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：6}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：18}，{“年份”:2016，“引用_by_counts”：7}，}“年份“：2015，”引用_by_count“：10}，{“年份”：2014，“引用_by-count”：10}.，{年：2013，“引用_ by_count.”：10{.，{.年：2012，“引用的_ by_cunt”：7}]，“更新日期”：“2024-06-15T11:15:20.646933”，“创建日期”：”2022-05-12“}