{“id”：“https://openalex.org/W2274787676“，”doi“：”https://doi.org/10.1007/978-3-662-46669-8_29“，”title“：”CoLoSL:并发局部主观逻辑“，”display_name“：”CoLoSL:并发局部主观逻辑“，”publication_year“：2015，”publication_date“：”2015-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2274787676“，”doi“：”https://doi.org/10.1007/978-3-662-46669-8_29“，”mag“：”2274787676“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46669-8_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_29.pdf，“源”：{“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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_29.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083721882“，”display_name“：”杜鹃花“，”兽人“：”https://orcid.org/0000-0002-2319-3242}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Azalea Raad“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5084908329“，”display_name“：”Jules Villard“，”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“：”Jules Villard“，”raw关联字符串“：[“英国伦敦帝国理工学院”]}，{“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_disticont_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5083721882“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：25，“ciped_by_percentile_year”：{“min”：93，“max”：94}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”710“，”last_page“：”735“}，”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.9992，“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.9989，”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.516425｝，｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.514116}，{”id“：”https://openalex.org/keywords/并行计算“，”display_name“：”并行计算“，”score“：0.510954}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8551111}，{”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.7967162}，{”id“：”https://openalex.org/C138101251，“wikidata”：https://www.wikidata.org/wiki/Q213092“，”display_name“：”线程（计算）“，”级别“：2，”分数“：0.65455323}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5678451}，{”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382“，”display_name“：”不相交集“，”level“：2，”score“：0.4936522}，{”id“：”https://openalex.org/C121375916，“wikidata”：https://www.wikidata.org/wiki/Q936559“，”display_name“：”合成原理“，”level“：2，”score“：0.48449823}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46935803}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.44118038}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.34190175}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15564522}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46669-8_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_29.pdf，“源”：{“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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/21494，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/21494/2/esop2015.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“：[”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”：“https://doi.org/10.1007/978-3-662-46669-8_29，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_29.pdf，“源”：{“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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/17“，”display_name“：”目标伙伴关系“，”score“：0.42}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：22，”referrenced_works“：【”https://openalex.org/W136497439","https://openalex.org/W143008620","https://openalex.org/W1549217957","https://openalex.org/W1552367747","https://openalex.org/W175195251","https://openalex.org/W1819989006","https://openalex.org/W1974454942","https://openalex.org/W2055164757","https://openalex.org/W2074635178","https://openalex.org/W2075373350","https://openalex.org/W2111132249","https://openalex.org/W2132761501","https://openalex.org/W2148687959","https://openalex.org/W2150224578","https://openalex.org/W2156374980","https://openalex.org/W2274787676","https://openalex.org/W2602645338","https://openalex.org/W3009161438","https://openalex.org/W4237730680","https://openalex.org/W4242904834","https://openalex.org/W4256027310","https://openalex.org/W75891272“]，”related_works“：[”https://openalex.org/W4232891356","https://openalex.org/W4206956498","https://openalex.org/W2998398829","https://openalex.org/W2899486387","https://openalex.org/W2791570590","https://openalex.org/W2734000466","https://openalex.org/W2624440775","https://openalex.org/W2600478067","https://openalex.org/W2295129982","https://openalex.org/W2150224578“]，”ngrams_url“：”https://api.openalex.org/works/W2274787676/ngrams网站“，”“abstract_inverted_index”：{“A”：[0]，“key”：[1]，“difficiency”：[2]，“in”：[3,14]，“verifying”：[4]，”“shared-memory”：[5]，“concurrent”：[6110123]，“programs”：[7]，“is”：[8,50]，“reasoning”：[9,24108115]，“compositionally”：[10]，“about”：[11,25]，“each”：[12,48,83]，“thread”：[13,49]，“isolation”：[15]，“现有”：[16]，“验证”：[17]，“技术”：[18]，“对于“：[19109]，“细粒度”：[20]，“并发”：[21]，“典型”：[22]，“需要”：[23]，“任一”：[26]，“该”：[27,35,43,59,71,75,91,95]，“整体”：[28]，“共享”：[29,36,61]，“状态”：[30,72]，“或”：[31]，“不相交”：[32]，“部分”：[33]，“的”：[34,58,70119125129]，“州”：[37]，“阻碍”：[38]，“组合性”。“：[39]，“This”：[40,63,97]，“paper”：[41]，“introduces”：[42]，“program”：[44]，“logic”：[45]，“CoLoSL，”：[46]，“where”：[47]，“verified”：[51]，“with”：[22,82]，“respect”：[53]，“to”：[54101]，“its”：[55]，“subjective”：[P6,64]，“view”：57,65]，“global”：[60]，“state”。“：[62]，”描述“：[66]，”仅“：[67]，”that“：[68]，”part“：[69]，”accessed“：[73]，”by“：[74,94]，”线程。“：[76,96]，”主观“：[77]，”观点“：[78]，”可能“：[79]，”任意“：[80]，”重叠“：[81]，”其他“：[84]，”和“：[85,87]，”扩展“：[86]，”合同“：[88]，”依赖“：[89]，”on“：[90116]，”资源“：[92]，”必需“：[93]，”灵活性“：[98]，”给出“：[99]，”上升“：[100]，”小“：[102]，“规范”：[103]，“和”：[104]，“因此，”：[105]，“更多”：[106]，“作曲“：[107]，”节目。“：[111]，”We“：[112]，”demove“：[113]，”our“：+114]，”a“：[117122126130]，”range“：[118]，”examples，“：[120]，”including“：[121]，”computation“：[124]，”span“：[127]，”tree“：[128]，”graph。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2274787676“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：3}，{“年度”：2021，”“cited_by_cunt”：4}，}“年份“：2020，”“cited_by-count”“：7}，”“年份”“：2019，”“cuted_by/count”日期：“：”2024-05-15T05:35:05.919618“，”创建日期“：”2016-06-24“}