{“id”：“https://openalex.org/W2883665545“，”doi“：”https://doi.org/10.1007/978-3-319-96145-3_20“，”title“：“从时间规范合成异步无功程序”，”display_name“：”从时间规范综合异步无功计划“，”publication_year“：2018，”publiation_date“：”2018-01-01“，”ids“：{”openalex“：”https://openalex.org/W2883665545“，”doi“：”https://doi.org/10.1007/978-3-319-96145-3_20“，”mag“：”2883665545“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_20，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_20.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_20.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5063106552“，”display_name“：”Suguman Bansal“，”orcid“：”https://orcid.org/0000-0002-0405-073X}，“机构”：[{“id”：https://openalex.org/I74775410“，”display_name“：”莱斯大学“，”ror“：”https://ror.org/008zs3103“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74775410“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Suguman Bansal“，”raw _ afiliation_strings“：[“美国休斯顿莱斯大学”]，”affiliations“：[{”raw_ afiliation _string“：”美国休斯顿赖斯大学“，”institution_ids“：[https://openalex.org/I74775410“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5031527903“，”display_name“：”Kedar S.Namjoshi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I72090969“，”display_name“：”诺基亚（美国）“，”ror“：”https://ror.org/038km2573“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I2738502077","https://openalex.org/I72090969“]]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Kedar S.Namjoshi“，”raw_affiation_strings“：[”贝尔实验室，诺基亚，默里山，美国“]，”附属机构“：[{”raw_affiation_string“：”贝尔实验室，诺基亚，默里山，美国“，”机构_ids“：[”https://openalex.org/I72090969“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5001341196“，”display_name“：”Yaniv Sa\u2019ar“，”orcid“：null}，”institutions“：[]，”countries“：[”IL“]，”is_corresponding“：true，”raw_author_name“”：“Yaniv Sa\u2019-ar”，”raw _affiliation_strings“：【”Bell Labs，Nokia，Kfar Saba，Israel“】，”affiliations“：{”raw _affiliation_string“：”Bell Labs，Noki，Kfar-Saba，以色列“，”instistiction_ids“：[]}]}]，“countries_disticont_count”：2，“institutions_distinct_count“：2，”对应的_author_id“：[”https://openalex.org/A5063106552","https://openalex.org/A5031527903","https://openalex.org/A5001341196“]，”对应的机构ID“：[”https://openalex.org/I74775410","https://openalex.org/I72090969“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{”value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“fwci”：3.463，“has_fulltext_origin”：“pdf”，“cited_by_count”：8，“ciped_by_percentile_year”：{“min”：85，“max”：86}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“367”，“last_page“：”385“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10904“，”display_name“：”可重构计算系统和设计方法“，”score“：0.9995，”subfield“：｛”id“：”https://openalex.org/subfields/1708“，”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.9989，”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.504918}，{”id“：”https://openalex.org/keywords/tool-integration网站“，”display_name“：”工具集成“，”score“：0.502617}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.874015}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739（网址：https://www.wikidata.org/wiki/Q752739）“，”display_name“：”异步通信“，”level“：2，”score“：0.8657764}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6894547}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.51369894}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5006466}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.4584195}，{”id“：”https://openalex.org/C13743347，“wikidata”：https://www.wikidata.org/wiki/Q4812203“，”display_name“：”异步元胞自动机“，”level“：5，”score“：0.42198026}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.4031643}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38034844}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.17662805}，{”id“：”https://openalex.org/C50348692，“wikidata”：https://www.wikidata.org/wiki/Q6887056“，”display_name“：”Mobile automaton“，”level“：4，”score“：0.099003136}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.07568425}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_20，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_20.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_20，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_20.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”工业、创新和基础设施“，”id“：”https://metadata.un.org/sdg/9“，”score“：0.4}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：32，”referrenced_works“：【”https://openalex.org/W143039783","https://openalex.org/W1483600339","https://openalex.org/W1499119186","https://openalex.org/W1517638774","https://openalex.org/W1517771483","https://openalex.org/W1548230619","https://openalex.org/W1610578937","https://openalex.org/W1737156267","https://openalex.org/W1754034137","https://openalex.org/W1783469492","https://openalex.org/W1857043531","https://openalex.org/W1970676784","https://openalex.org/W1971845040网址","https://openalex.org/W1993831991","https://openalex.org/W2016206563","https://openalex.org/W2020883449","https://openalex.org/W2023808162","https://openalex.org/W2041701185","https://openalex.org/W2054829118","https://openalex.org/W2101432564","https://openalex.org/W2111299652","https://openalex.org/W2150447589","https://openalex.org/W2178626170","https://openalex.org/W2263738566","https://openalex.org/W2561055248","https://openalex.org/W2600686309","https://openalex.org/W2734817039","https://openalex.org/W2914206182","https://openalex.org/W3023554972","https://openalex.org/W3152001840","https://openalex.org/W4241616303","https://openalex.org/W4253380258“]，”related_works“：[”https://openalex.org/W4200126702","https://openalex.org/W3120673894","https://openalex.org/W2998745598","https://openalex.org/W2131736331","https://openalex.org/W2121903556","https://openalex.org/W2114297461","https://openalex.org/W2008177074","https://openalex.org/W169498469","https://openalex.org/W1537622760","https://openalex.org/W1485491450“]，”ngrams_url“：”https://api.openalex.org/works/W2883665545/ngrams网站“，”“abstract_inverted_index”：{“异步”：[0]，“交互”：[1]，“是”：[2,27]，“无处不在”：[3]，“in”：[4,31]，“计算”：[5]，“系统”：[6]，“和”：[7,10,29,86]，“复杂”：[8]，“设计”：[9]，“编程。”：[11]，“自动”：[12]，“构造”：[13,46]，“of”：[14,52,62,77]，“异步”programs“：[16]，”from“：[17]，”specifications“：[18]，”（\u201cssynthesis \u201d）“：[19]，”可能“：[20]，”容易“：[21]，”the“：[22，50，63]，”困难“：[23]，”但是“：[24]，”已知“：[25]，”方法“：[26，81]，”复杂“：[28]，”棘手“：[30]，”实践。“：[32]，”This“：[33]，”work“：[34]，”developes“：[35]，”substructively“：[36]，”simpler“：[37,89]，”synthesis“：[38]，”methods。“：[39]，”A“：[40]，”直接“：[41]，”指数“：[42]，”更多“：[43]，”紧凑“：[44]，”自动机“：[45]，”是“：[47,70]，”公式化“：[48]，”for“：[49,73]，”reduction“：[51]，”to“：[54]，”synchronous“：[55]，”合成。“：[56]，”实验“：[57]，”用“：[58,88]，”a“：[59]，”原型“：[60]，”实现“：[61]，”新“：[64]，”方法“：[65]，”演示“：[66]，”可行性。“：[67]，”“此外，”：[68]，“it”：[69]，“shown”：[71]，“that”：[72]，“severive”：[74]，“used”：[75]，“classes”：[76]，“temporal”：[78]，“properties”，“：[79]，“automaton-based”：[80]，“can”：[82]，“be”：[83]，“avied”：+84]，“totally”：[85]，“replaced”：87]，“Boolean”：[90]，“constraint”：[91]，“solving”。“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2883665545”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：2｝，｛“year”：2021，“cited_by_count”：3｝，｛“year”：2020，“cited_by_count”：1｝，｛“year”：2019，“cited_by_count”：2｝]，“updated_date”：“2024-06-25T06:43:28.128845”，“created_date”：“2018-08-03”｝