{“id”：“https://openalex.org/W2796428443“，”doi“：”https://doi.org/10.1016/j.jlamp.2018.03.003“，”title“：”关于指定和验证并发模块的透视图“，”display_name“：”有关指定和验证并行模块的透视表“，”publication_year“：2018，”publiation_date“：”2018-08-01“，”ids“：{”openalex“：”https://openalex.org/W2796428443“，”doi“：”https://doi.org/10.1016/j.jlamp.2018.03.003“，”mag“：”2796428443“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlamp.2018.03.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“is_oa”：false，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/j.jlamp.2018.03.003“，”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/I204337017“，”display_name“：”奥胡斯大学“，”ror“：”https://ror.org/01aj84f44“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I204337017“]}]，”countries“：[”DK“]，”is_corresponding“：true，”raw_author_name“：”Thomas Dinsdale-Young“，”raw_affiliation_strings“：【”丹麦奥胡斯奥胡斯大学计算机科学系“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5051108520网址“，”display_name“：”Pedro da Rocha Pinto“，”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“：”Pedro da Rocha Pinto“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院计算系”]}，{“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“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院计算系“】}]，“countries_distiction_count”：2，“institutions_disticent_count“：2，”corresponding_author_ids“：[“https://openalex.org/A5063687513“]，”对应的机构ID“：[”https://openalex.org/I204337017“]，”apc_list“：{”value“：2810，”currency“：”USD“，”value_USD“：2810'，”provenance“：”doaj“}，”apc _payed“：{”value”：2810]，”curency“：”美元“，”value_USD”：2810“，”province“：”doaj“{”，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：5，“citected_by_percentile_year”：{“min”：82，“max”：83}，“biblio”：{“volume”：“98”，“issue”：null，“first_page”：“1”，“last_page”：”25“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9999，“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.9999，“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/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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9981，”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/keywords/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”Benchmarking“，”score“：0.54516｝，｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.53823}]，”concepts“：[{”id“：”https://openalex.org/C188045909，“wikidata”：https://www.wikidata.org/wiki/Q3306359“，”display_name“：”Atomicity“，”level“：3，”score“：0.8387245}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8081419}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.7035885}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6481626}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.59925914}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039网址“，”display_name“：”Key（lock）“，”level“：2，”score“：0.5256292}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.49651724｝，｛”id“：”https://openalex.org/C203222032，“wikidata”：https://www.wikidata.org/wiki/Q5159104“，”display_name“：”并发数据结构“，”level“：3，”score“：0.47414348}，{”id“：”https://openalex.org/C12713177，“wikidata”：https://www.wikidata.org/wiki/Q1900281“，”display_name“：”透视（图形）“，”level“：2，”score“：0.4589916}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.43605512}，{”id“：”https://openalex.org/C206345919，“wikidata”：https://www.wikidata.org/wiki/Q20380951“，”display_name“：”Resource（disambiguation）“，”level“：2，”score“：0.4354968}，{”id“：”https://openalex.org/C2780871342，“wikidata”：https://www.wikidata.org/wiki/Q7883752（网址：https://www.wikidata.org/wiki/Q7883752）“，”display_name“：”Underpining“，”level“：2，”score“：0.42110354}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.35974276}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.10348025}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.07434341}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”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/C147176958，“wikidata”：https://www.wikidata.org/wiki/Q77590“，”display_name“：”土木工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：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/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.glamp.2018.03.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“is_oa”：false，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/58595，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/58595/7/1-s2.0-S2352220817300871-main.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”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlamp.2018.03.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“is_oa”：false，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320334627“，”“funder_display_name”：“工程与物理科学研究委员会”，“award_id”：“EP/K008528/1”}，{“funder”：“https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/H008373/1“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：10，”referrenced_works“：[”https://openalex.org/W1965662337“，”https://openalex.org/W2001738739“，”https://openalex.org/W2008132476“，”https://openalex.org/W2101939036“，”https://openalex.org/W2125398300“，”https://openalex.org/W2132761501“，”https://openalex.org/W2508779702“，”https://openalex.org/W2758007484“，”https://openalex.org/W2763501791“，”https://openalex.org/W2987907651“]，”related_works“：[”https://openalex.org/W321339674“，”https://openalex.org/W2899146177“，”https://openalex.org/W2793788250“，”https://openalex.org/W2616010075“，”https://openalex.org/W2614427934“，”https://openalex.org/W2186490196“，”https://openalex.org/W2167421399“，”https://openalex.org/W2019062800“，”https://openalex.org/W1991878751“，”https://openalex.org/W1507160831“]，”ngrams_url“：”https://api.openalex.org/works/W2796428443/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“specification”：[1,24]，“of”：[2,10,51,60,70]，“a”：[3,18,49,61]，“concurrent”：[4,55105]，“program”：[5]，“module，”：[6]，“and”：[7,12,68,88107110]，“The”：[8,6611418]，“verification”：[9]，“implementations”：[1109]，“clients”：%13]，“with”：[14]，“respective”：[15]，“to”：[16,64,98]，“such”：[17]，“specification”，“：[19]，”是“：[20]，”困难“：[21]，”问题。“：[22]，“A”：[23]，“应该”：[25]，“是”：[26,41,96]，“一般”：[27]，“足够”：[28,37]，“那”：[29,38]，“任何”：[30,44]，“合理”：[31,45]，“实现”：[32]，“满足”：[33]，“它，”：[34]，“还”：[35]，“精确”：[36]，“it”：[39]，“可以”：[40,95]，“使用”：[42]，”通过“：[43117]，”客户端。“：[46]，”We“：[47,90]，”survey“：[48]，”range“：[50]，”technologies“：[52]，”for“：[53103]，”specifying“：[54104]，”modules“，：[56]，”using“：[57]，”example“：[59]，”counter“：[62119]，”model“：[63]，”illumination“：[65]，”benefits“：[67]，”limitions“：[69115]，”each。“：[71]，”In“：[72]，”specific“：[73]，”we“：%74]，”highlight“：[75]，”four“：/76]，”key“：77]，”conceptions“：[78,94]，”bastering“：[79]，”these“：[80,93]，”technologies“：[81]，”auxiliary“：[82]，”state“：[83]，”interference“：84]，”abstration“：[85]，”resource“：[86]，”ownership“：[87]，”atomicity。“：[89]，”演示“：[91]，”如何“：[92]，”组合“：[97]，”实现“：[99]，”两个“：[100]，”强大“：[101]，”方法“：[102]，”模块“：[106]，”验证“：[108]，”客户端“：[111]，”哪个“：[112]，”删除“：[113]，”突出显示“：[116]，”示例。“：[120]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2796428443“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：3}，{“年度”：2020，”cited_by_count”：1}，}“年份“：2019，”citecd_by_count“：1}]，”updated_date“：”2024-06-03T02:54:38.914290“，”created_date:“2018-04-13”}