{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,21]]，“日期-时间”：“2023-02-21T06:34:00Z”，“时间戳”：1676961240800}，“引用-计数”：13，“发布者”：“爱思唯尔BV”，“问题”：“3”，“许可证”：[{“开始”：{:“日期-零件”：[[1989,8,1]]，9-08-01T00:00:00Z“，”时间戳“：617932800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：8751，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1989,8]]}，”DOI“：”10.1016\/0304-3975（89）90158-8“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,26]]，”date-time“：”2002-07-26T03:48:55Z“，”timestamp:1027655335000}“page”：“333-340”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“概率终止vs.公平终止”]，“prefix”：“10.1016”，“volume”：“66”，“author”：[{“given”：”Michael“，“family”：“Tiomkin”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：3英寸，“doi”：“10.1145\/360933.360975”，“article-title”：“程序的保护命令、不确定性和形式派生”，“volume”：“18”，“author”：“Dijkstra”，“year”：“1975”，“journal-title“：”Comm.ACM“}，{“key”：”10.1016\/0304-3975（89）90158-8_BIB2“，“series-title”：”Fairness“，”author“：”Francez“，”year“：”1986“}”，{”key“10.1016\/0304-977”5（89）90158-8_BIB3“，“doi-asserted-by”：“crossref”，“first page”：“83”，“doi”：“10.1016\/S0019-9958（85，“文章标题”：“程序的公平终止”，“author”：“Grumberg”，“year”：“1984”}，{“key”：“10.1016\/0304-3975（89）90158-8_BIB5”，“doi-asserted-by”：“crossref”，“first-page”：“224”，“doi”：“101145\/4904.4993”：“1986”，“journal-title”：“J.ACM”}，{“key”：“10.1016\/0304-3975（89）90158-8_BIB6”，“doi-asserted-by”：“crossref”，“first-page”：“356”，”doi“：”10.1145\/2166.357214“，”article-title“：”概率并发程序的终止“，”volume“：”5“，”author“：”Hart“，”year“：”1983“，”journal-title“”：“ACM Trans.on Programming Languages and Systems”}、{“键“：“10.1016\/0304-3975（89）90158-8_BIB7”，“series-title”：“概率微积分的数学基础”，“author”：“Neveu”，“year”：“1965”}，{“key”：“10.101-/0304-2975（89“首页”：“278”，“article-title”：“关于概率算法的极端公平处理”，“author”：“Pnueli”，“year”：“1983”，“journal-title“：”Proc.15th Symp.Theory of Computing“}，{“key”：“10.1016\/0304-3975（89）90158-8_BIB10”，“series-title”：”Recursive Functions and Effective Computability“，”author“：”Rogers“，”year“：”1967“}”，{”key“：”10.1016\/0304-375（89）90158-8_BIB11“，”series-title“：”Real Analysis“，”author“：”Royden“，”year“：”1968“}，{”key“：”10.1016\/0304-3975（89）90158-8-BIB12“，”doi-asserted-by“：”crossref“，”author“:”Tarsky“，”year“：“1951”，“journal-title”：“初等代数和几何的4种判定方法”，“doi”：“10.1525\/9780520348097”}，”{“key”：“101016\/0304-3977”5（89）90158-8_BIB13“，“序列号”：”概率命题动态逻辑“，”author“：”Tiomkin“，”year“：”1983“}]，”container-title“：[”Theoryal Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:0304397589901588？httpAccept=text\/xml“，”content-type“：”text\/.xml“，“content-version”：“vor”，“intended-application”：“”文本挖掘”｝，｛“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:00304397589901588？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝]，“存放”：｛“日期部分”：[[2021,5,14]]，“日期时间”：“2021-05-14T22:49:59Z”，“时间戳”：1621032599000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397589901588“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1989,8]]}，“references-count”：13，“journal-issue”：{“issue”：“3”，“published-print”：{”date-ports“：[1989,18]}}”，“alternative-id”：[“0304397589901588”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（89）90158-8”，“关系”：{}，“ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[1989,8]]}}