{“id”：“https://openalex.org/W2082867148“，”doi“：”https://doi.org/10.1145/41625.41626“，”title“：”A\u2200自动机对并发程序的规范和验证“，”display_name“：”由A\u220自动机规范和验证并发程序“，”publication_year“：1987，”publiction_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2082867148“，”doi“：”https://doi.org/10.1145/41625.41626“，”mag“：”2082867148“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41626，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41626“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41626“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5096951051“，”display_name“：”Z.Monna“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Z.Monna“，“raw_affiliation_strings”：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5078214635“，”display_name“：”Amir Pnueli“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_correresponsing“：false，”raw_author_name“：”A.Pnueli“，”raw_affiation_strings“：[]｝]，”countries_dstinct_count“：0，”institutions_dispinct_count“：0，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：65，”cited_by_percentile_year“：{”min“：95，”max“：96}，”biblio“：{-”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.514305}，{”id“：”https://openalex.org/keywords/automata网站“，”display_name“：”Automata“，”score“：0.509921}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”运行时验证“，”score“：0.5091}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.504215}]，”concepts“：[{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.64263964}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.63093275}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.6155052}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5284944}，{”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.50094056}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.46944305}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4335486｝，｛”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.4334828}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.42450613}，{”id“：”https://openalex.org/C16671368，“wikidata”：https://www.wikidata.org/wiki/Q230885“，”display_name“：”状态图“，”level“：3，”score“：0.4192081}，{”id“：”https://openalex.org/C162670838，“wikidata”：https://www.wikidata.org/wiki/Q6057295“，”display_name“：”时间间隔逻辑“，”level“：3，”score“：0.41320103}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”有限状态机“，”level“：2，”score“：0.39296728｝，｛”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.35914773}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27013132}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.09184843}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41626，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41626“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41626，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41626“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1513159096","https://openalex.org/W1798280647","https://openalex.org/W2014552079","https://openalex.org/W2019881090","https://openalex.org/W2036267700","https://openalex.org/W2039025680","https://openalex.org/W204503899","https://openalex.org/W2058630223","https://openalex.org/W2075920544","https://openalex.org/W2085533703","https://openalex.org/W2086440639网址","https://openalex.org/W2087718129","https://openalex.org/W2090398333","https://openalex.org/W2099529102","https://openalex.org/W2103953153","https://openalex.org/W2111706174","https://openalex.org/W2117189826","https://openalex.org/W2166656159","https://openalex.org/W3146075203","https://openalex.org/W42364276","https://openalex.org/W50233445“]，”related_works“：[”https://openalex.org/W3135656023","https://openalex.org/W3042269469","https://openalex.org/W2522171317","https://openalex.org/W2408583837","https://openalex.org/W2321527407","https://openalex.org/W2155870982","https://openalex.org/W2127219675","https://openalex.org/W2042728676","https://openalex.org/W186350370","https://openalex.org/W1849003752“]，”ngrams_url“：”https://api.openalex.org/works/W2082867148/ngrams网站“，”“abstract_inverted_index”：{“\u2200-automata”：[0]，“是”：[1,28,32,53]，“非确定性”：[2]，“有限状态”：[3]，“自动机”：[4,12,31]，“超过”：[5,25]，“无限”：[6]，“序列。”：[7]，“它们”：[8]，“不同”：[9]，“来自”：[10]，“常规”：[11]，“in”：[13,60]，“that”：[14,51,97]，“a“：[15,35,64101108]，”序列“：[16,27]，”是“：[17,49,77,93]，”接受“：[18]，”如果“：[19]，”all“：[20,98]，”runs“：[21]，”of“：[22,42,45,68,83100]，”the“：[23,26,38,80104]，”automaton“：[24]，”accepting。“：[29]，”这些“：[30]，”建议“：[33,78]，”作为“：[34,54,56]，”形式主义“：[36]，”用于“：[37,79,95]，”规范“：[39]，”和“：[40,59,89]，”验证“：[41]，”暂时“：[43,71]，”属性“：[44,69]，”并发“：[46]，”程序。“：[47]，“It”：[48]，“show”：[50]，“they”：[52]，“expressive”：[55]，“extended-temporal-logic”：[57]，“（ETL），”：[58]，“some”：[61]，“cases”：[62]，“supply”：[63]，“more”：[65]，“compact”：66]，“representation”：[67,82]，“than”：[70]，“logic”。“：[72]，”A“：[73,86]，”结构化“：[74]，”图表“：[75]，”符号“：[76]，”图形“：[81]，”这些“：[84]，”自动机。“：[85]，”单个“：[87]，”声音“：[88]，”完整“：[90]，”证明“：[91]，”规则“：[92]，”呈现“：[94]，”验证“：[96]，”计算“：[99]，”程序“：[102]，”have“：[103]，”属性“：[105]，”指定“：[106]，”by“：[107]，”\u2200-automaton。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2082867148“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-05-24T08:01:58.684822“，”创建日期“：“2016-06-24”}