{“id”：“https://openalex.org/W3177160037“，”doi“：”https://doi.org/10.109/lics52264.2021.9470583“，”title“：”HyperLTL的异步扩展“，”display_name“：”超级LTL的同步扩展“，“publication_year”：2021，“publiation_date”：“2021-06-29”，“ids”：{“openalex”：“https://openalex.org/W3177160037“，”doi“：”https://doi.org/10.109/lics52264.2021.9470583“，”mag“：”3177160037“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/lics5226.4021.9470583“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/1204.12886“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5086034910“，”display_name“：”Laura Bozzelli“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Laura Bozzelli“，”raw _ afiliation_strings“：[“那不勒斯大学\”Federico II“，那不勒斯，意大利”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5000697088“，”display_name“：”Adriano Peron“，”orcid“：”https://orcid.org/0000-0002-7111-3171}，“机构”：[{“id”：https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adriano Peron“，”raw _ afiliation_strings“：[“那不勒斯大学”Federico II“，意大利那不勒斯”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5015623381“，”display_name“：”C:u00e9sar S\u00e1nchez“，”orcid“：”https://orcid.org/0000-0003-3927-4773}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Cesar Sanchez“，”raw _ afiliation_strings“：[“西班牙马德里IMDEA软件研究所”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“has_fulltext”：true，“fulltext_origin“：”pdf“，”cited_by_count“：13，”cited_by_percentile_year“：{”min“：92，”max“：93}，”biblio“：{-”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”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/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9929，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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.9915，“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/model-checking“，”display_name“：”模型检查“，”score“：0.555235}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506931}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8482399}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.8413221}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.804098}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7885681}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.7482447｝，｛”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.7334712｝，｛”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.6917237}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6104628}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.61033845}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5916656}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5169741}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”上下文（考古学）“，”level“：2，”score“：0.49258596｝，｛”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470583“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/1204.12886，“pdf_url”：https://arxiv.org/pdf/1204.12886“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1204.12886，“pdf_url”：https://arxiv.org/pdf/1204.12886“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：24，“referinced_works”：[”https://openalex.org/W1213177963","https://openalex.org/W1866799138","https://openalex.org/W1976773489","https://openalex.org/W1977764760","https://openalex.org/W1990609140","https://openalex.org/W2004306067","https://openalex.org/W2012140001","https://openalex.org/W2023808162","https://openalex.org/W2048963544","https://openalex.org/W2069709605","https://openalex.org/W2123858370","https://openalex.org/W2159897734","https://openalex.org/W2342178224","https://openalex.org/W2539229089","https://openalex.org/W2964335063","https://openalex.org/W2982089010","https://openalex.org/W3002839602","https://openalex.org/W3037049410","https://openalex.org/W3098700911","https://openalex.org/W3184417962","https://openalex.org/W4250728693","https://openalex.org/W4287200437","https://openalex.org/W4287634825","https://openalex.org/W4302339081“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W1542027783","https://openalex.org/W1501430220","https://openalex.org/W129916058“]，”ngrams_url“：”https://api.openalex.org/works/W3177160037/ngrams网站“，”“abstract_inverted_index”：{“Hyperproperties”：[0]，“are”：[1,62]，“a”：[2,28,33,96,99]，“modern”：[3]，“specification”：[4]，“paradigm”：[5]，“that”：[6,76103107134]，“extends”：[7]，“trace”：[8]，“properties:[9,12]，“to”：[10,66]，“express”：[11109]，“of”：[13,15,48,59,70,92120135]，“sets”：[14]，“痕迹”：[16]，“暂时”：[17]，“逻辑”：[18]，“对于“：[19,64,77,90123128]，“超属性”：[20]，“研究过的”：[21]，“in”：[22,83]，“the”：[23,87116129136]，“literature”，“：[24]，“including”：[25]，“HyperLTL，”：[26,49]，“assument”：[27]，“synchronous”：[29]，“semantics”：[30]，“and”：[31,45,54106]，“enjoy”：[32]，“decitable”：[34100]，“model”：[35,801011]21]，“检查”：[36,81102122]，“问题。“：[37]，”In“：[38]，”this“：[39]，”paper“：[40]，”we“：[C1,94114]，”introduce“：[42]，”two“：[43125]，”异步“：[44,68111]，”正交“：[46]，”extensions“：[47,61]，”即“：[50]，”Stuttering“：[51]，”HyperLTL“：[52,56105]，”（HyperLTLS）“：[53]，”Context“：[55]，”。“：[57]，”两者“：[58]，”这些“：[60,78124]，”有用“：[63]，”实例“：[65]，”公式“：[67]，”变量“：[69]，”信息流“：[71]，”安全“：[72]，”属性。“：[73]，”We“：[74]，”show“：[75]，”logics“：[79]，”is“：[82]，”general“：[84]，”不可判定。“：[85]，”On“：[86]，”positive“：[88]，”side“：[89]，”each“：[91]，”them“，”：[93]，“identify”：[95]，“fragment”：[97]，“with”：[98133]，“subsumes”：[104]，“can”：[108]，“sential”：[110]，“requirements”。“：[112]，”“此外，”“：[113]，”提供“：[115]，”精确“：[117]，”计算“：[118]，”复杂性“：[119]，”碎片“：[126]，”其中，“：[127]，”HyperLTLS“：[130]，”片段“：[131]，”一致“：[132]，”严格“：[137]，”较少“：[138]，”表达“：[139]，”逻辑“：[140]，”超LTL。“：[141]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3177160037“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”cited_by_count”：8}，“{”年度“：2022，”citecd_by_count“：2}，”{“年份”：2021，”citted_by_count“:2}]，”updated_date“：”2024-05-22T20:21:44.832318“，”created_dated“：”2011-07-05“}”