{“id”：“https://openalex.org/W1982939574“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80012-4“，”title“：”Action Calculi的无名账户“，”display_Name“：”Action Calcuil的无名账号“，”publication_year“：1995，”publiation_date“：”1995-01-01“，”ids“：{”openalex“：”https://openalex.org/W1982939574“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80012-4“，”mag“：”1982939574“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）80012-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：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/s1571-0661（04）80012-4“，”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}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”爱丁堡大学计算机科学系，The King’s Buildings，爱丁堡，英国EH9 3JZ“】}]，“countries_distict_count”：1，“institutions_disticent_count”：1.“corresponding_author_ids”：[”https://openalex.org/A5047951273“]，”对应的机构ID“：[”https://openalex.org/I98677209“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”cited_by_percentile_year“：{”min“：80，”max“：81}，”biblio“：{“volume”：“1”，”issue“：nul，”first_page“：”214“，”last_page“：“231”}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9985，“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.9985，“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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9983，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9971，“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/keywords/control-barirer-functions网站“，”display_name“：”Control Barrier Functions“，”score“：0.478809}]，”concepts“：[{”id“：”https://openalex.org/C74039378，“wikidata”：https://www.wikidata.org/wiki/Q7240997“，”“display_name”“：”呈现和表征表演“，”级别“：2，”分数“：0.7357112}，{”id“：”https://openalex.org/C2780791683，“wikidata”：https://www.wikidata.org/wiki/Q846785“，”display_name“：”Action（physical）“，”level“：2，”score“：0.7043109}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6313364｝，｛”id“：”https://openalex.org/C2777601897，“wikidata”：https://www.wikidata.org/wiki/Q3409113“，”“display_name”“：”演示（产科）“，”级别“：2，”分数“：0.60397106}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.5473178}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.5156221}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.325194}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2668199}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.19923311}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.18915397}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.12916082}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”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}，{”id“：”https://openalex.org/C126838900，“wikidata”：https://www.wikidata.org/wiki/Q77604“，”display_name“：”放射学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）80012-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：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/s1571-0661（04）80012-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”score“：0.4，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：6，”referrenced_works“：【”https://openalex.org/W1486076169“，”https://openalex.org/W1573208177“，”https://openalex.org/W1864329372“，”https://openalex.org/W2109597998“，”https://openalex.org/W2128932399“，”https://openalex.org/W258022877“]，”related_works“：[”https://openalex.org/W436149066“，”https://openalex.org/W3011615320“，”https://openalex.org/W2511897693“，”https://openalex.org/W2379663001“，”https://openalex.org/W2358047786“，”https://openalex.org/W2354188475“，”https://openalex.org/W2081534890“，”https://openalex.org/W1999666114“，”https://openalex.org/W1576058466“，”https://openalex.org/W1495422173“]，”ngrams_url“：”https://api.openalex.org/works/W1982939574/ngrams“，”“abstract_inverted_index”：{“Action”：[0]，“calculi”：[1]，“provide”：[2]，“a”：[3,8,23,40,56]，“uniforming”：[4]，“framework”：[5]，“for”：[6]，“representating”：[7]，“variety”：[9]，“of”：[10,12,43]，“models”：[11]，“communication”：[13]，“such”：[14]，[17]，“网络”：[18]，“和”：[19,51,63]，“the”：[20,32,47,60,64]，“\u03c0-calculus，”：[21]，“在“：[22]，”统一“：[24]，”设置中。“：[25]，”A“：[26]，”中央“：[27]，”理念“：[28]，”是“：[29,55]，”to“：[30]，”模型“：[31]，”交互“：[33]，”between“：[34,59]，”actions“：[35]，”using“：[36]，”names。“：[37]，”我们“：[38]，”介绍“：[39]，”无名“：[41,65]，”帐户“：[42]，”动作“：[44,49]，”计算“：[45,50]，”调用“：[46]，”关闭“：[48]，”显示“：[52,69]，”that“：[53]，”there“：[54]，”strong“：[57]，”通信“：[58]，”原始“：[61]，”演示“：[62]，”展示。“：[66]，”这些“：[67]，”结果“：[68]，”那，“：[70]，”虽然“：[71]，”名字“：[72]，”游戏“：[73]，”一个“：[74]，”重要“：[75]，”表现“：[76]，”角色“：[77]，”他们“：[78]，”是“：[79]，”在“：[80]，”一些“：[81]，”感觉“：[82]，”无关紧要。“：[83]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1982939574“，”counts_by_year“：[]，”updated_date“：”2024-05-21T19:57:56.337009“，”创建日期“：”2016-06-24“}