{“id”：“https://openalex.org/W2153166150“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.025“，”title“：”Full Abstraction Without Synchronization Primitives“，”display_name“：”没有同步原语的完整抽象“，”publication_year“：2010，”publiation_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2153166150“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.025“，”mag“：”2153166150“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.025“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2010.08.025“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5000119795“，”display_name“：”Andrzej S.Murawski“，”orcid“：”https://orcid.org/0000-0002-4725-410X}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Andrzej S.Murawski“，”raw _ afiliation_strings“：[“牛津大学计算实验室，Wolfson Building，Parks Road，OX1 3QD，UK”]，”affiliations“：[{”raw _affiliation_strong“：”牛津大学计算实验，WolfsonBuilding机构ID“：[”https://openalex.org/I40120149“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A500119795“]，”对应的机构ID“：[”https://openalex.org/I40120149“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.94，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”citation_normalized_percentile“：{”value“：0.72445，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{”min“：78，”max“：79}，“biblio”：{“volume”：“265“，”issue“：null，”first_page“：”423“，”last_page“：”436“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.996，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”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.9955，”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/semaphore“，”display_name“：”信号量“，”score“：0.9076676}，{”id“：”https://openalex.org/keywords/preorder“，”display_name“：”Preorder“，”score“：0.87373185}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”分数“：0.7892469}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.556456}]，”concepts“：[{”id“：”https://openalex.org/C95203288，“wikidata”：https://www.wikidata.org/wiki/Q221682“，”display_name“：”信号量“，”level“：2，”score“：0.9076676}，{”id“：”https://openalex.org/C2333172网址，“wikidata”：https://www.wikidata.org/wiki/Q1425985“，”display_name“：”Preorder“，”level“：2，”score“：0.87373185}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.7892469}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7795441}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6840515}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.68161565}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6353941}，{”id“：”https://openalex.org/C133875982，“wikidata”：https://www.wikidata.org/wiki/Q764810“，”display_name“：”共享内存“，”level“：2，”score“：0.43854284}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42372605}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.36716062}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14339611}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.10661346}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.105134875｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.025“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2010.08.025“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：18，”referenced_works“：[”https://openalex.org/W1541178342","https://openalex.org/W1577890819","https://openalex.org/W1595465781","https://openalex.org/W1789713128","https://openalex.org/W1975597184","https://openalex.org/W1977216954","https://openalex.org/W2030121500","https://openalex.org/W2036267700","https://openalex.org/W2070908350","https://openalex.org/W2084224236","https://openalex.org/W2111125619","https://openalex.org/W2165735954","https://openalex.org/W2531351704","https://openalex.org/W2549442242","https://openalex.org/W3144106787","https://openalex.org/W3182437156","https://openalex.org/W4238577588","https://openalex.org/W605212316“]，”related_works“：[”https://openalex.org/W2955418457","https://openalex.org/W2793104284","https://openalex.org/W2389821803","https://openalex.org/W2376467216","https://openalex.org/W2355153711","https://openalex.org/W2153166150","https://openalex.org/W2059384236","https://openalex.org/W2058132176","https://openalex.org/W1912976938","https://openalex.org/W1496910494“]，”abstract_inverted_index“：{”使用“：[0]，”游戏“：[1]，”语义“：[2]，”我们“：[3,36]，”证明“：[4]，”a“：[5]，”完整“：[6]，”抽象“：[7]，”结果“：[8]，”（with“：[9]，”尊重“：[10]，”to“：[11]，”the“：[12,47,50]，”may-testing“：[13]，”preorder）“：[14]，“for”：[15,49]，“理想化”：[16]，“藻类”：[17]，“增强”：[18]，“with”：[19]，“parallel”：[20]，“composition”：[21]，“（IA||）.“：[22]，”虽然“：[23]，”它“：[24]，”是“：[25]，”普通“：[26]，”知识“：[27]，”那“：[28,38]，”信号量“：[29,39]，”可以“：[30]，”是”：[31]，“实现”：[32]，“使用”：[33]，“共享”：[34]，“内存”：[35]，“查找”：[37]，“做”：[40]，“不”：[41]，“扩展”：[42]，“IA||”：[43]，“保守。“：[44]，”我们“：[45]，”解释“：[46]，”原因“：[48]，”不匹配。“：[51]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2153166150“，”counts_by_year“：[{”年“：2021，”引用_by_count“：1}]，”更新日期“：”2024-09-17T04:43:10.033852“，”创建日期“：“2016-06-24”}