{“id”：“https://openalex.org/W1519794378“，”doi“：”https://doi.org/10.1007/3-540-44618-4_39“，”title“：“在失败的情况下重温安全与生命”，”display_name“：”在失败的环境下重温生命与安全“，”publication_year“：2000，”publiation_date“：”2000-01-01“，”ids“：{”openalex“：”https://openalex.org/W1519794378“，”doi“：”https://doi.org/10.1007/3-540-44618-4_39“，”mag“：”1519794378“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44618-4_39“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://www.cs.rutgers.edu/~rmartin/teaching/spring03/cs553/readings/safety-liveness.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5071640409“，”display_name“：”Bernadette Charron-Bost“，”orcid“：”https://orcid.org/0009-0007-0132-8138}，“机构”：[{“id”：https://openalex.org/I4210139461“，”display_name“：”\u00c9cole Polytechnology计算机科学实验室“，”ror“：”https://ror.org/04afed728“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Bernadette Charron-Bost“，”raw _ afiliation_strings“：[“LIX，\u00c9cole Polytechnique，Palaiseau Cedex，France”]，”affiliations“：[{”raw _affiliation_string“：”LIX，\ u00c9 cole Polystechniquity，Palaisseau Cedes，France“，”，“institution_ids”：[“https://openalex.org/I4210139461“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000539327“，”display_name“：”Sam Toueg“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210139461“，”display_name“：”\u00c9cole Polytechnology计算机科学实验室“，”ror“：”https://ror.org/04afed728“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Sam Toueg“，”raw _affiliation_strings“：[“DIX，\u00c9cole Polytechnique，Palaiseau Cedex，France”]，”affiliations“：[{”raw_affiliation_string“：”DIX，\ u00c9 cole Polystechniquity，Palaisseau Cedes，France“，”，“institution_ids”：[“https://openalex.org/I4210139461“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5070605122“，”display_name“：”Anindya Basu“，”orcid“：”https://orcid.org/0000-0001-7196-4614“｝，”机构“：[]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Anindya Basu“，”raw_affiation_strings“：[”贝尔实验室，朗讯科技，美国默里山“]，”附属机构“：[｛”raw_affiation_strings“：”贝尔实验室，朗讯科技，美国默里山“，”机构_ids“：[]｝]｝]，”countries_distict_count“：2，”institutions_distinct_count“：1，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.682，“has_fulltext”：false，“cited_by_count”：12，“citected_by_percentile_year”：{“min”：82，“max”：83}，”biby_count lio“：{”volume“：null，”issue“：nul，”first_page“：”552“，”last_page“：”565“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.9987，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9986，“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/keywords/failure-pedition“，”display_name“：”故障预测“，”score“：0.483746}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.99679893}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8163422}，{”id“：”https://openalex.org/C101097943，“wikidata”：https://www.wikidata.org/wiki/Q5176983“，”display_name“：”违反直觉“，”level“：2，”score“：0.76826525}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6899317}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.6319475}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.33081102}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3012097}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.06563401}，{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”地理“，”级别“：0，”分数“：0.04973808}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44618-4_39“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.372.1109，“pdf_url”：http://www.cs.rutgers.edu/~rmartin/training/spring03/cs553/readings/safety-liveness.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”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“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.372.1109，“pdf_url”：http://www.cs.rutgers.edu/~rmartin/training/spring03/cs553/readings/safety-liveness.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：7，”referenced_works“：[”https://openalex.org/W1964729314","https://openalex.org/W1996730563","https://openalex.org/W2003214215","https://openalex.org/W2023808162","https://openalex.org/W2035362408","https://openalex.org/W2914206182","https://openalex.org/W4240914807“]，”related_works“：[”https://openalex.org/W4379988549","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W3005839474","https://openalex.org/W2809491669","https://openalex.org/W2494011163","https://openalex.org/W2139510495","https://openalex.org/W2081199208","https://openalex.org/W2050235149","https://openalex.org/W1565271071“]，”ngrams_url“：”https://api.openalex.org/works/W1519794378/ngrams“，”“abstract_inverted_index”：{“安全”：[0]，“和”：[1,48]，“活性”：[2,35,49]，“是”：[3,26,33]，“两个”：[4]，“基本”：[5]，“概念”：[6,45]，“用于”：[7]，“证明”：[8]，“the”：[9,15,44]，“正确性”：[10]，“of”：[11,17,43,46]，“并发”：[12]，“程序。”：[13]，“In”：[14,34]7]，“上下文”：[16]，“失败”：[18]，“然而”：[19]，“我们”：[20,40]，“观察”：[21]，“that“：[22,25,50]，“some”：[23]，“properties”：[24,32]，“commonly”：[27]，“considense”：[28]，“to”：[29]，“be”：[30]，“safety”：[31,47]，“actually”：[34]，“properties”。“：[36]，“this”：[38,52]，“paper”：[39]，“propose”：[41]，“refinements”：【42】，“avoid”：【51】，“antiort直觉”：【53】，“classification”。“：[54]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1519794378“，”counts_by_year“：[{”年“：2014，”cited_by_count“：2}]，”更新日期“：”2024-06-24T15:30:32.703497“，”创建日期“：“2016-06-24”}