{“id”：“https://openalex.org/W175195251“，”doi“：”https://doi.org/10.1007/978-3-662-44202-9_9“，”title“：”TaDA:时间和数据抽象逻辑“，”display_name“：”TaDA:时间与数据抽象逻辑”，“publication_year”：2014，“publiation_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W175195251“，”doi“：”https://doi.org/10.1007/978-3-662-44202-9_9“，”mag“：”175195251“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-44202-9_9“，”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}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”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/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“：false，”raw_author_name“：”Thomas Dinsdale-Young“，”raw _affiliation_strings“：【”丹麦AARHUS大学“】，”affiliations“：[{”raw _affiliation_string“：”丹麦AAHRUS大学“，”institution_ids“：[“https://openalex.org/I204337017“]｝]｝，｛”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 _ afiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}]，”countries_distinact_count“：2，”institutions_disticant_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：30.367，”has_fulltext“：false，”cited_by_count lized_percentile“：{“值”：0.999659，”is_in_top_1_percent“：true，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：98，”max“：99}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：”207“，”last_page“：”231“}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.9991，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9973，”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.9467835}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”score“：0.60445046}，{”id“：”https://openalex.org/keywords/disjointsets网站“，”display_name“：”不相交集“，”score“：0.5450287}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.533185}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.526178}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.518977}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.518875}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.516018}]，”concepts“：[{”id“：”https://openalex.org/C188045909，“wikidata”：https://www.wikidata.org/wiki/Q3306359“，”display_name“：”Atomicity“，”level“：3，”score“：0.9467835}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8383775｝，｛”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.7812705}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7529435}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.66811794}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.60445046}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5497959｝，｛”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382网址“，”display_name“：”不相交集“，”level“：2，”score“：0.5450287}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.49301216}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.48180002}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.47217506}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.32945177}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.12425047}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.12016687}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.07631245}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”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/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-44202-9_9“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：34，“referenced_works“：[”https://openalex.org/W136497439","https://openalex.org/W136533073","https://openalex.org/W1552367747","https://openalex.org/W1604167937","https://openalex.org/W1641171388","https://openalex.org/W175195251","https://openalex.org/W1986732422","https://openalex.org/W2028861803","https://openalex.org/W2034535157","https://openalex.org/W2081281361","https://openalex.org/W2101939036","https://openalex.org/W2122751544","https://openalex.org/W2132761501","https://openalex.org/W2135820369","https://openalex.org/W2136739578","https://openalex.org/W2137554739","https://openalex.org/W2138927523","https://openalex.org/W2139533136","https://openalex.org/W2150224578","https://openalex.org/W2153128836","https://openalex.org/W2169289247","https://openalex.org/W2171685273","https://openalex.org/W2183354935","https://openalex.org/W2508779702","https://openalex.org/W2796564118","https://openalex.org/W3003392917","https://openalex.org/W3006137651","https://openalex.org/W3009161438","https://openalex.org/W3019787512","https://openalex.org/W4237730680","https://openalex.org/W4252623052网址","https://openalex.org/W4254183471","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/W2614427934","https://openalex.org/W2186490196","https://openalex.org/W2167421399","https://openalex.org/W2149504509","https://openalex.org/W2019062800","https://openalex.org/W1507160831“]，”“abstract_inverted_index”：{“To”：[0]，“avoid”：[1]，“data”：[2,57]，“races”：[3]，“concurrent”：[4,42,60]，“operations”：[5,43,53]，“should”：[6]，“任其一”：[7]，“be”：[8]，“at”：[9,25]，“distinct”：[10,14,56]，“times”：[11]，“or”：[12]，“on”：[13,55,72]，“data.”：[15]，“原子性”：[16]，“是”：[17,49,93]，“the”：[18,50,82,94]，“抽象”：[19,51]，““：[20，41，52，67，10114123]，”an“：[21101]，”operation“：[22]，”take“：[23]，”effect“：[24]，”a“：[26，35，77121]，”single“：[27]，”离散“：[28]，”instant“：[29]，”in“：[30120]，”time“：[31]，”with“：[32，59]，”linearibility“：[33]，”being“：[34]，”known“：[36]，”correct“：[37]，”condition““：[38]，”哪个“：[39，9]，”断言“：[40]，”出现“：[44，68]，”到“：[45，69104]，“behave”：[46]，“atomically”：[47]，“Disjointness”：[48]，“act”：[54]，“resource”：[58]，“separation”：[61]，“logics”：[62]，“enabled”：[63]，“reasoning”：[64119]，“about”：[65]，“threads”：66]，“operate”：[70]，“independently”：[71]，“disjoint”：[73]，“resources.We”：%74]，“present”：[75]，“TaDA”：[76]，“程序”：[78106]，“逻辑”：[79]，“组合”：[81]，“好处”：[83]，“共”：[84,96]，“抽象”：[85,88]，“原子性”：[86]，“和”：[87]，“不相交。”：[89]，“我们的”：[90]，“键”：[91]，“贡献”：[92]，“介绍”：[95]，“元”：[97]，“三元组”：[98]，“提供”：[100]，“表达”：[102]，“方法”：[103]，“指定”：[105]，“模块。”：[107]，“By”：[108]，“建筑”：[109]，“up”：[110]，“examples”，：[111]，“we”：[112]，“show”：[113]，“TaDA”：[115]，“支持”：[116]，“优雅”：[117]，“模块化”：[118]，“方式”：[122]，“是”：[124]，“不是”：[125]，“以前”：[126]，“可能”。：[127]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W175195251“，”counts_by_year“：[{”年“：2024，”cited_by_count“：7}，{”年份“：2023，”ciped_by_cunt“：7}，”{“年份”：2022，“cited_by_count”：11}，，{“年”：2021，“ciped_by_cunt”：11}“年份”：2017，“引用_ by_count”：19}，{“年份”:2016，“引用_by_counts”：11}，}“年份“：2015，”cited_by_count“：12}，{“年份”：2014，“cited_by_count”：4}]，“更新日期”：“2024-09-12T19:13:30.204751”，“创建日期”：”2016-06-24“}