{“id”：“https://openalex.org/W2583024954“，”doi“：”https://doi.org/10.1007/978-3-662-54434-1_36“，”title“：”并发地图抽象规范“，”display_name“：”并行地图抽象规范”，“publication_year”：2017，“publiation_date”：“2017-01-01”，“ids”：{“openalex”：“https://openalex.org/W2583024954“，”doi“：”https://doi.org/10.1007/978-3-662-54434-1_36“，”mag“：”2583024954“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-54434-1_36“，”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、”is_core“：true、”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“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oa_url“：”http://spiral.imperial.ac.uk/bitstream/10044/1/43740/6/main.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5008723144“，”display_name“：”Shale Xiong“，”orcid“：”https://orcid.org/0000-0001-9312-195X}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Shale Xiong“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]，”从属关系“：[{”raw _affiliation_string“：”英国伦敦帝国学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5051108520网址“，”display_name“：”Pedro da Rocha Pinto“，”orcid“：”https://orcid.org/0000-0002-5879-5948}，“机构”：[{“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“：”Pedro da Rocha Pinto“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦皇家理工学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5030333260“，”display_name“：”Gian Ntzik“，”orcid“：”https://orcid.org/0000-0002-7967-9153}，“机构”：[{“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“：”Gian Ntzik“，”raw_affiation_strings“：[”英国伦敦帝国理工学院“]，”附属机构“：[｛”raw_affiation_string“：”英国伦敦帝国理工学院“，”institution_ids“：[”https://openalex.org/I47508984“]}]}，{”author_position“：”last“，”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“：[“英国伦敦帝国理工学院”]，”从属关系“：[{”raw _affiliation_string“：”英国伦敦帝国学院”，“institution_ids”：[“https://openalex.org/I47508984“]｝]｝]，”institute_assertions“：[]，”countries_distict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[”https://openalex.org/A5008723144“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.313，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”citation_normalized_percentile“：{”value：0.817962，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，“cited_b”y_percentile_year“：{“最小”：76，“最大”：78}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”964“，”last_page“：”990“}，”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.9986，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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.9984，”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/atomicity网站“，”display_name“：”原子性“，”score“：0.80439377}，{”id“：”https://openalex.org/keywords/implementation网站“，”display_name“：”Implementation“，”score“：0.77916646}，{”id“：”https://openalex.org/keywords/concurrent-data-structure网站“，”display_name“：”并发数据结构“，”score“：0.6947243｝，｛”id“：”https://openalex.org/keywords/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”基准测试“，”score“：0.55493}，{”id“：”https://openalex.org/keywords/并行计算“，”display_name“：”并行计算“，”score“：0.53566}，{”id“：”https://openalex.org/keywords/multicore-architectures网站“，”display_name“：”多核架构“，”score“：0.502131}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.501997｝，｛”id“：”https://openalex.org/keywords/serialization网站“，”display_name“：”Serialization“，”score“：0.43747708}]，”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.81913364}，{”id“：”https://openalex.org/C188045909，“wikidata”：https://www.wikidata.org/wiki/Q3306359“，”display_name“：”Atomicity“，”level“：3，”score“：0.80439377}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.77916646}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.76020414}，{”id“：”https://openalex.org/C203222032，“wikidata”：https://www.wikidata.org/wiki/Q5159104“，”display_name“：”并发数据结构“，”level“：3，”score“：0.6947243}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.6815082}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6764809}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.64847547}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.4771442}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43877134}，{”id“：”https://openalex.org/C52723943，“wikidata”：https://www.wikidata.org/wiki/Q1127410“，”display_name“：”序列化“，”级别“：2，”分数“：0.43747708}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.4238087}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32190698｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.19695243}，{”id“：”https://openalex.org/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-54434-1_36“，”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、”is_core“：true、”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/10044/1/43740，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/43740/6/main.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（Imperial College London）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/43740，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/43740/6/main.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：34，“referrenced_works”https://openalex.org/W143008620","https://openalex.org/W1495128589","https://openalex.org/W1520380662","https://openalex.org/W1533529458","https://openalex.org/W1552367747","https://openalex.org/W1688565790","https://openalex.org/W175195251","https://openalex.org/W1819989006","https://openalex.org/W1981439955","https://openalex.org/W2017453731","https://openalex.org/W2028861803","https://openalex.org/W2061341742","https://openalex.org/W2070991879","https://openalex.org/W2089489958","https://openalex.org/W2101939036","https://openalex.org/W2122751544","https://openalex.org/W2132761501","https://openalex.org/W2135820369","https://openalex.org/W2136739578","https://openalex.org/W2147323041","https://openalex.org/W2150224578","https://openalex.org/W2157062942","https://openalex.org/W2208101949","https://openalex.org/W2344539696","https://openalex.org/W2580297191","https://openalex.org/W2758007484","https://openalex.org/W3006363542","https://openalex.org/W3009161438","https://openalex.org/W4237730680","https://openalex.org/W4239797127","https://openalex.org/W4248844407","https://openalex.org/W4252623052网址","https://openalex.org/W4255856653","https://openalex.org/W75891272“]，”related_works“：[”https://openalex.org/W4230121659","https://openalex.org/W321339674","https://openalex.org/W2899146177","https://openalex.org/W2616010075","https://openalex.org/W2186490196","https://openalex.org/W2167421399","https://openalex.org/W2149504509","https://openalex.org/W2029089965","https://openalex.org/W2019062800","https://openalex.org/W1507160831“]，”abstract_inverted_index“：{”尽管“：[0]，”最近“：[1,44]，”进步“：[2,45]，”in“：[3,13,24,46,50,83122142]，”推理“：[4]，”关于“：[5]，”并发“：[6,58,67103]，”数据“：[7]，”结构“：[8]，”库“：[9]，”the“：[10,25,52,71117125135139]，”最大“：[11140]，”实现“：[12141]，”java.util.concurrent“：[14123]，”have“：[15134]，”yet“：[16]，“to”：[17,42,57137]，“be”：[18,87]，“verified。”：[19]，“The”：[20]，“key”：[21]，“issue”：[22]，“lies”：[23]，“development”：[26]，“of”：[27,54,66120]，“modular”：[28]，“specifications”，“：[29]，”which“：[30]，“provide”：[31]，“clear”：[32,72]，“logical”：[33]，“boundaries”：[34,73]，“between”：[35]，“客户端”：[36]，“和”：[37105]，“实现。”：[38]，“A”：[39]，“解决方案”：[40]，“is”：[41]，“use”：[43]，“fine-grained”：[47]，“concurrency”：[48]，“reasoning”，“reason”：[49]，“special”：[51]，“introduction”：[53]，“abstract”：[55]，“atomicity”：[56]，“separation”：[59]，“logic”：[60]，“releasoning”：[61]，“We”：[62,76,92109]，“present”：[63]，“two”：[64]，“specifications”：[65,80]，“maps”：[68]，“两者”：[69]，“提供”：[70]，“我们”：[74,95132]，“寻求”：[75]，“显示”：[77,93]，“that”：[78,84116131]，“these”：[79]，“are”：[81]，“equivalent”，“：[82]，“there”：[85]，“can”：[86,96]，“build”：[88]，“from”：[89]，“each”：[90]，“other.”：[91]，“how”：[94]，“verify”：[97138]，“client”：[98]，“programs，”：[99]，“such”：[100]，“as”：[101]，“a”：[102106112]，“集合”：[104]，“生产者-消费者”：[107]，“客户”：[108]，“也”：[110]，“给予”：[111]，“实质性”：[113]，“first”：[114]，“proof”：[115]，“main”：[118]，“operations”：[119]，“ConcurrentSkipListMap”：[121]，“satisfy”：[124]，“map”：/126]，“specification.”：[127]，“This”：[128]，“work”：%129]，“demonds”：[130]，“now”：[133]，“technology”：%136]，“java.util.concurrent.”：%143]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2583024954“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2020，”ciped_by_cunt“：1'，{“年份”：2017，”cited_by_count”：1}]，”updated_date“：”2024-09-14T18:28:08.179949“，”created_date:“2017-02-03”}