{“id”：“https://openalex.org/W1975188976“，”doi“：”https://doi.org/10.1016/s0304-3975（98）00355-7“，”title“：”Closed action calculi“，”display_name“：”Closed actions calculi”，“publication_year”：1999，“publiation_date”：“1999-10-01”，“ids”：{“openalex”：“https://openalex.org/W1975188976“，”doi“：”https://doi.org/10.1016/s0304-3975（98）00355-7“，”mag“：”1975188976“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（98）00355-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/s0304-3975（98）00355-7“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Philippa Gardner“，”raw_affiliation_strings“：[]}]，”countries_distiction_count“：0，”institutions_disticent_count”：0，“corresponding_author_ids”：[“https://openalex.org/A5047951273“]，”“corresponding_institution_ids”：[]，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：26900，“provenance”：“doaj”}，“apc _ payed”：{“value“：2690”，“curency”：“US”，“value _ USD”:2690，”provenance“：”doaj“}，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”cited_by_percentile_年份：{“min”：81，“max”：82}，“biblio”：{卷：“228”，“issue”：“1-2“，”first_page“：”77“，”last_page“：”103“}，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9956，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9807，“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/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.512505}，{”id“：”https://openalex.org/keywords/transactional-memory网站“，”display_name“：”事务内存“，”score“：0.502493}]，”concepts“：[{”id“：”https://openalex.org/C2780791683，“wikidata”：https://www.wikidata.org/wiki/Q846785“，”display_name“：”Action（physical）“，”level“：2，”score“：0.6574055}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.43011978}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42813325}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3787142｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.18418989}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.08496699}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（98）00355-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（98）00355-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1544633123","https://openalex.org/W1552768853","https://openalex.org/W1573208177","https://openalex.org/W1597434734","https://openalex.org/W1864329372","https://openalex.org/W1982939574","https://openalex.org/W1997143185","https://openalex.org/W2045304669","https://openalex.org/W2057814731","https://openalex.org/W2102357532","https://openalex.org/W2118686544","https://openalex.org/W2128932399","https://openalex.org/W2912003593","https://openalex.org/W53839316“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W1975188976/ngrams“，”“abstract_inverted_index”：{“Action”：[0]，“calculi”：[1,89]，“provide”：[2]，“a”：[3,22,38,71]，“framework”：[4]，“for”：[5]，“capturing”：[6]，“many”：[7]，“种类”：[8]，“of”：[9,18,25,87,98]，“interactive”：[10,99]，“behavior”：[11,97]，“by”：[12]，“focussing”：[13]，“on”：[14]，“the”：[15,29,42,46,58,64,85,96108]，“primitive”：[16]，“concept”：[17]，“names”：[19]，“We”：[20,49]，“介绍“：[21]，”无名称“：[23,47]，”帐户“：[24]，”操作“：[26,31,88]，”计算“：[27,32]，”调用“：[28]，”关闭“：[30,59]，”和“：[33,45,61]，”显示“：[34,62,76]，”that“：[35,63,77112]，”there“：[36]，”is“：[37,90]，”strong“：[39]，”通信“：[40]，”between“：[41]，”original“：[43]，“演示”：[44]，“展示”。“：[48]，”也“：[50]，”添加“：[51]，”自由“：[52]，”名称“：[53,81113]，”加“：[54]，”自然“：[55]，”公理“：[56]，”到“：[57,91]，”世界“：[60]，”抽象“：[65]，”运算符“：[66]，”can“：[67]，”be“：[68]，”构造“：[69]，”as“：[70]，”派生“：[72]，”操作符。“：[73]，“我们的”：[74]，“结果”：[75106]，“in”：[78]，“some”：[79]，“sense”：[80]，“are”：[82]，“不重要。“：[83]，”“然而，”：[84]，“目的”：[86]，“理解”：[92]，“形式主义”：[93]，“其中”：[94]，“模拟”：[95]，“系统。“：[100]，“也许”：[101]，“更多”：[102]，“显著”：[103]，“因此”：[104]，“这些”：[105]，“突出显示”：[107]，“重要”：[109]，“表现”：[110]，“角色”：[111]，“游戏”。“：[114]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1975188976“，”counts_by_year“：[]，”updated_date“：”2024-05-27T18:13:48.905061“，”created_date“：”2016-06-24“｝