{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,9,5]]，“日期-时间”：“2024-09-05T06:45:49Z”，“时间戳”：1725518749130}，“引用-计数”：29，“发布者”：“IEEE Compute.Sco.Press”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“内政部”：“10.1109\/lics.1991.151648”，“type”：“procesedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”232-244“，“source”：：“Crossref”，“is-referenced-by-count”：5，“title”：[“在时序逻辑中指定和证明可序列化性”]，“prefix”：“10.109”，“volume”：《193》，“author”：[{“给定”：“D”，“family”：“Peled”，“sequence”：“first”，“affiliation”：[]}，{“given”：“S.”，”family“：”Katz“，”sequence“：”additional“，”affiliance“：[]{”given“：”A.“”，“faily”：”Pnueli“，”序列“：”附加“，”从属关系“：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”doi-asserted-by“”：”publisher“，“doi”：“10.1145\/41840.41855“}，{”key“：”ref11“，”doi-asserted-by“：”publisher“，“DOI”：“10.1016\/0304-3975（92）90054-J”}，{“key”：“ref12”，“DOI-asserted-by”：“publisher”，“DOI:”10.1007\/BF01786227“}，”{“key”：”ref13“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145\/63240.“}“}，{”journal-title“：”动作的时间逻辑“，”year“：”1990“，”author“：”lamport“，”key“：“ref15”}，{“年份”：“0”，“key”：“ref16”}ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-15204-0_20“}，{“key”：“ref19”，“first-page”：“141”，“article-title”：“How to Cook a Temporal Proof System for Your Pet Language”，“author”：“marina”，”year“：”1983“，”journal-title“：“Proceedings of the 10th Annual Symposium on Principles on Programming Languages”}，{“key”：”ref28“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/12.9728“}，”{“journal-title”：“数据库系统中的并发控制和恢复”，“年份”：“1987年”，“作者”：“bernstein”，“key”：“ref4”}，{“密钥”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/63264.63518”}“doi”：“10.1016\/0167-6423（83）90017-5”}，{“密钥”：“ref29”，“首页”：“731”，“卷”：“430”，“作者”：“wing”，“年份”：“0”，“日志标题”：“优化分布式系统”}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/4904.4999”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0020-0190（85）90056-0”}，{“密钥”：“ref9”，“首页”：“13”，“article-title”：“并发对象的公理”，“作者”：“herlihy”，”年份：“1987”，“新闻标题”：“第十五届ACM编程语言原理研讨会”}“：”10.1109\/LICS.1988.5115“}，｛“key”：“ref20”，“first page”：“201”，“volume”：“254”，“author”：“manna”，“year”：“0”，“journal title”：“时序框架学派/逻辑与模型中线性时间分支时间与偏序研讨会的锚定版本”｝，｛“key”：“ref22”，“doi asserted by”：“publisher”，“doi”：“10.1145\/800113.803634”｝，｛“key”：“ref21”，“doi asserted by”：“publisher”，“DOI”：“10.1145\/44501.44504”}，{“key”：“ref24”，“DOI-asserted-by”：“publisher”，“DOI:”10.1007\/BFb0032058“}，}“journal-title”：“并发控制理论”，“year”：“1986”，“author”：“papadimitriu”，“key“：”ref23，“key”：“ref26”}，{“key“：”ref25“，”first page“：“23”，“article-title”：“关于部分有序计算推理的时序逻辑”，“author”：“pinter”，“year”：“1984”，“journal-tittle”：“Proc ACM Symp Principles Distributed Computing”}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“Amsterdam，Netherlands”}，“container-title“：[”[1991]第六届IEEE计算机科学逻辑年会论文集“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151648.pdf？arnumber=151648”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,15]]，“date-time”：2017-06-15T15:41:45Z“，”timestamp“：1497541305000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/151648\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[null]]}，《references-count》：29，“URL”:“http://\/dx.doi.org\/10.109\/lics.199 1.151648“，”关系“：{}，”主题“：[]}}