{“id”：“https://openalex.org/W1986700009“，”doi“：”https://doi.org/10.1016/0304-3975（86）90181-7“，”title“：“使用\u03c9-扩展正则表达式规范和验证分散菊花链仲裁器”，”display_name“：”使用\u05c9-扩充正则表达式规范并验证分散菊花链仲裁器“，”publication_year“：1986，”publiation_date“：”1986-01-01“，”ids“：{”openalex“：”https://openalex.org/W1986700009“，”doi“：”https://doi.org/10.1016/0304-3975（86）90181-7“，”mag“：”1986700009“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90181-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/0304-3975（86）90181-7“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5042106636“，”display_name“：”I.铃木“，”orcid“：”https://orcid.org/0000-0002-1653-1450“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”I.铃木“，”raw_affiliation_strings“：[]，“附属关系”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5084895167“，”display_name“：”Yu Motohashi“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Y.Motohash“，”raw _affiliation_strings“：]，”affiliations“：【】}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5024222013“，”display_name“：”Kenichi Taniguchi“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”K.Taniguhi“，“raw_affiliation_strings”：[]“，”affiliations“：]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5046097382“，”display_name“：”Tadao Kasami“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”T.Kasami.“，”raw _affiliation_strings“：]，”affiliations“：[/]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5063556405“，”display_name“：”冈本孝二“，”兽人“：”https://orcid.org/0000-0003-2529-9419“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”T.Okamoto“，”raw_affiliation_strings“：[]]，”从属关系“：[[]}]，”countries_distiction_count“：0，”机构区分计数“：0”，“corresponding_author_ids”：[]d“：2690，”来源“：”doaj“}，”apc_pay“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”ciped_by_percentile_year“：{”min“：72，”max“：74}，”biblio“：{“volume”：“43”，“issue”：null、“first_page”：“277”，“last_page”：”291“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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”：0.9998，“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.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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9972，“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/discrete-event-systems网站“，”display_name“：”离散事件系统“，”score“：0.503532｝]，”concepts“：[｛”id“：”https://openalex.org/C5901099，“wikidata”：https://www.wikidata.org/wiki/Q1157702“，”display_name“：”雏菊链“，”level“：2，”score“：0.61549014}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6108668}，{”id“：”https://openalex.org/C199185054，“wikidata”：https://www.wikidata.org/wiki/Q552299“，”display_name“：”Chain（unit）“，”level“：2，”score“：0.6007384}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5725608}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.34796152}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.10921711}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”display_name“：”Astronomy“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90181-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/0304-3975（86）90181-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“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：10，”referenced_works“：[”https://openalex.org/W117768600","https://openalex.org/W1567452806","https://openalex.org/W1967686058","https://openalex.org/W2022934640","https://openalex.org/W2026134631","https://openalex.org/W2094912129","https://openalex.org/W215656572","https://openalex.org/W2165373889","https://openalex.org/W2295286551","https://openalex.org/W412380452“]，”related_works“：[”https://openalex.org/W2989762567","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W1986700009/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“introduce”：[1]，“\u03c9-extended”：[2]，“regular”：[3]，“expressions”：[4]，“（\u03c9EREs）”：[5]，“that”：[6,24122]，“can”：[7,85]，“be”：[8,86]，“used”：[9124]，“for”：[10,71,92102125]，“specing”：[11]，“and”：[12,46,49,67104]，“证明”：[13]，“属性”：[14,51,74,81]，“的”：[15,18,20,31,58,75,79,82100111114134]“：[16,89128]，”集合“：[17]，”有限“：[19,40]，”无限“：[21,36]，”事件“：[22]，”序列“：[23,41]，”发生“：[25]，”in“：[26,64]，”a“：[27,56,83112132]，”系统。“：[28]，”The“：[29,77,98]，”ability“：[30]，”\u03c9EREs“：[32,54,94101]，”to“：[33,44,61]，”deal“：[34]，”with“：35108]，”as“：[37,39,88]，”well“：[38]，”allow“：[42]，”us“：[43]，”specify“：[45]，”verify“：%47]，”eventuality“：[48]，”liveness“：[50]，”quite“：[52]，“自然。“：[53]，”have“：[55]，”number“：[57133]，”operators“：[59]，”similant“：[60]，”these“：[62]，”find“：[63]，”temporal“：[65，73]，”logic“：[66]，”they“：[68]，”are“：[69123]，”appropriate“：[70]，”expressioning“：[72]，”systems“：[53]，”系统“：[53]，”数量“：[57133]，”运算符“：[59]，”相似“：[60]，”那些“：[62]，”系统“。“：[76]，”问题“：[78,91]，”验证“：[80]，”系统“：[84]，”制定“：[87]，”遏制“：[90]，”两个“：[93]，”其中“：[95]，”是“：[96106]，”可解决。“：[97]，“使用”：[99]，“规范”：[103]，“验证”：[105]，“图解说明”：[107]，“an”：[109]，“示例”：[110]，“类”：[113]，“逻辑”：[115]，“电路”：[116]，“调用”：[117]，“\u2018decentralized”：[118]，“雏菊”：[119]，“链”：[120]，“仲裁者\u2019”：[121]，“仲裁”：[126]，“介于”：[127]，“请求”：[129]，“发布”：[130]，“由”：[131]，“并发”：[135]，“过程。“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1986700009“，”counts_by_year“：[]，”updated_date“：”2024-06-19T07:13:35.486347“，”created_dates“：”2016-06-24“}“