{“id”：“https://openalex.org/W1883912914“，”doi“：”https://doi.org/10.109/icpads.2000.857694“，”title“：”原子承诺协议的形式化建模与分析“，”display_name“：”对原子承诺协议进行形式化建模和分析“，“publication_year”：2002，”publication_date“：”2002-11-07“，”ids“：{”openalex“：”https://openalex.org/W1883912914“，”doi“：”https://doi.org/10.109/icpads.2000.857694“，”mag“：”1883912914“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icpads.2000.857694“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5009511046“，”display_name“：”Dmitri Chkliaev“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”D.Chkliaev“，”raw _ afiliation_strings“：[“埃因霍温理工大学，埃因霍芬，诺德-布拉班特，NL”]，”affiliations“：[{”raw _affiliation_string“：”埃因霍文理工大学https://openalex.org/I83019370“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A50911699985“，”display_name“：”Jozef Hooman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”J.Hooman“，”raw_affiliation_strings“：[“埃因霍温理工大学”]，”affiliations“：[{”raw_affiliation_string“：”埃因霍芬理工大学“，”institution_ids“：[https://openalex.org/I83019370“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5025417470“，”display_name“：”Peter van der Stok“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”P.van der Stok“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学计算科学系”]，”affiliations“：[{”raw _affiliation_string“：”荷兰埃因霍温理工学院计算科学系“，”institution_ids“：[https://openalex.org/I83019370“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count？：1“cited_by_percentile_year”：{“min”：61，”max“：68}，”biblio“：{”volume“：null，“issue”：null，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10772“，”display_name“：”分布式容错和系统一致性“，”score“：0.9998，”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.9998，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9962，“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.9891，“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/timing-analysis网站“，”display_name“：”计时分析“，”score“：0.515583}，{”id“：”https://openalex.org/keywords/fault-tolerance“，”display_name“：”容错“，”score“：0.503544}，{”id“：”https://openalex.org/keywords/fault-diagnosis网站“，”display_name“：”故障诊断“，”score“：0.502343}，{”id“：”https://openalex.org/keywords/formal-methods网站“，”display_name“：”Formal Methods“，”score“：0.500251}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7943225}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”display_name“：”Protocol（science）“，”level“：3，”score“：0.79121065｝，｛”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5776843}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.5542707}，{”id“：”https://openalex.org/C63540848，“wikidata”：https://www.wikidata.org/wiki/Q3140932“，”display_name“：”容错“，”level“：2，”score“：0.510288}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.4979391}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.44493854}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.41532165}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2887381｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icpads.2000.857694“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.45}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W1541130101","https://openalex.org/W1573217167","https://openalex.org/W1698111904","https://openalex.org/W182170519","https://openalex.org/W1894589822","https://openalex.org/W2053200599","https://openalex.org/W2102223348","https://openalex.org/W2112734010","https://openalex.org/W2143292951","https://openalex.org/W2489049575","https://openalex.org/W94265796“]，”related_works“：[”https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W1950421680","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W1544097700网址","https://openalex.org/W1495250406“]，”ngrams_url“：”https://api.openalex.org/works/W1883912914/ngrams网站“，”“abstract_inverted_index”：{“The”：[0103]，“formal”：[1]，“specification”：[2]，“and”：[3,15,28]，“mechanical”：[4]，“verification”：[5,87104]，“of”：[6,26,64114]，“an”：[7,21]，“atomic”：[8]，“commitment”：[9]，“protocol”：[10,38,50]，“（ACP）”：[11]，“for”：[12,39]，“distributed”：[13]，“real-time”：[14]，“容错”：[16116]，“数据库”：[17]，“是”：[18,31,82]，“提出了。“：[19]，”As“：[20]，”example“：[22]，”the“：[23,61,65,74,77100112]，”non-blocking“：[24]，”ACP“：[25]，”Babaoglu“：[27]，”Toueg“：[29]，“（1993）”：[30]，”analyzed。“：[32]，”An“：[33]，”error“：[34]，”in“：[35]，”their“：[36]，”termination“：[37，49]，”recovered“：[40]，”participants“：[41]，”has“：[42，52，88]，”been“：[43，53，89]，”detected。“：[44]，”我们“：[45]，”提议“：[46]，”a“：[47]，”新“：[48]，”其中“：[51]，”证明“：[54,99]，”正确“：[55]，”正式。“：[56]，”To“：[57]，”stay“：[58]，”close“：[59]，”To“：[60,72109]，”original“：[62]，”formulation“：[63]，”protocol“，”：[66]，”timed“：[67]，”state“：[68]，”machines“：[69]，”are“：%70]，”used“：[71108]，”specify“：[3]3，”process，“：[75]，”wherever“：[76]，”communication“:[78]，”mechanism“：[79]，”在“：[80]，”进程“：[81]，”定义的“：[83]，”使用“：[84]，”断言之间。“：[85]，”正式“：[86]，”执行“：[90]，”增量：“：[91]，”添加“：[92]，”恢复“：[93]，”来自“：[94]，”崩溃“：[95]，”仅“：[96]，”之后“：[97]，”有“：[98]，”基本“：[101]，”协议。“：[102117]，”系统“：[105]，”PVS“：[106]，”是“：[107]，”交易“：[110]，”与“：[111]，”复杂性“：[113]，”此“：[115]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1883912914“，”counts_by_year“：[]，”updated_date“：”2024-06-18T04:09:41.626767“，”创建日期“：”2016-06-24“}