{“id”：“https://openalex.org/W2167557276“，”doi“：”https://doi.org/10.109/lics.1991.151648“，”title“：”指定并证明时态逻辑中的可序列化性“，”display_name“：”指定并证明时态逻辑中的可序列化性“，”publication_year“：2002，”publication_date“：”2002-12-10“，”ids“：｛”openalex“：”https://openalex.org/W2167557276“，”doi“：”https://doi.org/10.109/lics.1991.151648“，”mag“：”2167557276“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151648“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5061223044“，”display_name“：”Doron Peled“，”orcid“：”https://orcid.org/0000-0002-7280-6578}，“机构”：[{“id”：https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”D.Peled“，”raw _affiliation_strings“：[“以色列海法工业学院计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”以色列海法工学院计算机科学部”，“institution_ids”：[“https://openalex.org/I174306211“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055894990“，”display_name“：”Shmuel Katz“，”orcid“：”https://orcid.org/0000-0002-7065-8823}，“机构”：[{“id”：https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”S.Katz“，”raw _affiliation_strings“：[“以色列海法工业学院计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”以色列海法工学院计算机科学部“，”institution_ids“：[https://openalex.org/I174306211“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5078214635“，”display_name“：”Amir Pnueli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I53964585“，”display_name“：”魏茨曼科学研究所“，”ror“：”https://ror.org/0316ej306“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I53964585“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”A.Pnueli“，”raw _ afiliation_strings“：[“以色列雷霍沃特魏兹曼科学研究所应用数学系”]，”afiliations“：[{”raw _affiliation_string“：”以色列雷霍沃特魏兹曼理工学院应用数学系“，”institution_ids“：[https://openalex.org/I53964585“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]，“apc_list”：空，”apc_payed“：空，“fwci”：0.231，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 1295年，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：85，”max“：86}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9969，“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.9968，“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/serializability网站“，”display_name“：”序列化“，”score“：0.94841015}，{”id“：”https://openalex.org/keywords/双相锁定“，”display_name“：”二相锁定“，”score“：0.7369103}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.583112}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.535693}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.528055}，{”id“：”https://openalex.org/keywords/concurrency-modeling“，”display_name“：”并发建模“，”score“：0.505482}]，”concepts“：[{”id“：”https://openalex.org/C191558696，“wikidata”：https://www.wikidata.org/wiki/Q137712“，”display_name“：”序列化“，”level“：5，”score“：0.94841015}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.78726554}，{”id“：”https://openalex.org/C131346163，“wikidata”：https://www.wikidata.org/wiki/Q2290484“，”display_name“：”二相锁定“，”level“：5，”score“：0.7369103}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5796904｝，｛”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.4705249}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46057084}，{”id“：”https://openalex.org/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：0.16996026}，{”id“：”https://openalex.org/C72108876，“wikidata”：https://www.wikidata.org/wiki/Q844565“，”display_name“：”事务处理“，”level“：3，”score“：0.1616273}，{”id“：”https://openalex.org/C191087605，“wikidata”：https://www.wikidata.org/wiki/Q1501395网址“，”display_name“：”联机事务处理“，”level“：4，”score“：0.14530924}，{”id“：”https://openalex.org/C25185021，“wikidata”：https://www.wikidata.org/wiki/Q4053284“，”display_name“：”分布式事务“，”level“：4，”score“：0.097506315}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151648“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：30，“referrenced_works”：[”https://openalex.org/W1491593738","https://openalex.org/W1524234654","https://openalex.org/W1545155892","https://openalex.org/W1569068921","https://openalex.org/W1675507648","https://openalex.org/W1795817251","https://openalex.org/W1967267655","https://openalex.org/W1980003032","https://openalex.org/W1988698742","https://openalex.org/W1991199257","https://openalex.org/W1991878751","https://openalex.org/W2000589007","https://openalex.org/W2003773532","https://openalex.org/W2004306067","https://openalex.org/W2015121269","https://openalex.org/W2015688007","https://openalex.org/W2043801088","https://openalex.org/W2048355938","https://openalex.org/W2066210260","https://openalex.org/W2066612386","https://openalex.org/W2073689993","https://openalex.org/W2086070079","https://openalex.org/W2086147982","https://openalex.org/W2124192263","https://openalex.org/W2157092502","https://openalex.org/W2162718918","https://openalex.org/W2490947532","https://openalex.org/W2499725420","https://openalex.org/W2914206182","https://openalex.org/W4211195336“]，”related_works“：[”https://openalex.org/W39916850","https://openalex.org/W3145650013","https://openalex.org/W3021685032","https://openalex.org/W2803062029","https://openalex.org/W2256562532","https://openalex.org/W2133135975","https://openalex.org/W2050556407","https://openalex.org/W1980289008","https://openalex.org/W1932216999","https://openalex.org/W1559896221“]，”abstract_inverted_index“：{“序列化性”：[0,96]，”of“：[1,10,37,53,77,93]，”database“：[2]，”transactions“：[3,78]，”is“：[4,20,29,43,48,71,84101]，”first“：[5]，”defined“：[6]，”within“：[7]，”the“：[8,51,87,98]，”framework“：[9]，”linear“：[11]，”temporal“：[12,24]，”logic.“：[13]，”For“：[14]，“基于交换性”：[15]，“可串行化”：[16]，“an”：[17]，“备选项“：[18,40]，“规范”：[19,41,52]，“给定”：[21,44]，“in”：[22,45]，“a”：[23,80]，“逻辑”：[25,69]，“which”：[26]，“语义”：[27]，“解释”：[28]，“特别”：[30]，“定制”：[31]，“for”：[32,64,97]，“推理”：[33,70]，“关于”：[34]，“等价”：[35]，“序列”：[36]，“历史”。“：[38]，”The“：[39]，”method“：[42]，”ISTL*“：[46]，“and”：[47]，“limited”：[49]，“to”：[50]，“concurrency”：[54,81]，“control”：[55,82]，“algorithms”：[56]，“based”：[57]，“on”：[58]，“communiversity”。“：[59]，”A“：[60]，”formal“：[61]，”verification“：[62]，”system“：[63]，”serializability“：[65,76]，”that“：[66]，”uses“：[67]，”classical“：68]，”provided。“：[72]，”在“：[73]，”it，“：[74]，”证明“：[75，91]，”执行“：[79]，”算法“：[83100]，”完成“：[85]，”沿着“：[86]，”相同“：[88]，”行“：[89]，”作为“：[90]，”属性“：[92]，”并发“：[94]，”程序。“：[95]，”多版本时间戳“：[99]，”已验证<":[102],">“：[105]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2167557276“，”counts_by_year“：[]，”updated_date“：”2024-09-14T11:03:06.495590“，”created_dates“：”2016-06-24“}“