{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T05:41:52Z”，“时间戳”：1725514912634}，“引用计数”：30，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1991.151635”，“type”：“procesedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”110-119“，“source”：：“Crossref”，“is-referenced-by-count”：19，“title”：[“实时测试理论”]，“prefix”：”10.1109“，“volume”:“458”，“author”：[{“given”：“R.”，“family”：“Cleaveland”、“sequence”：“first”，“affiliation”：[]}，{“given”：“A.E.”，“family”：“Zwarico”，“sequences”：“additional”，“filiance”：[]}]，“member”：“263”，“reference”：[{“journal-title”：“Timed Acceptance An Algebra of Time Dependent Computing”，“year”：“1988”，“author”：“Zwarico“，“key”：”“ref30”}，}“key“：”：“ref10”，“first-page”：“141”，“article-title“：“B<\/superscript>A部分工艺规范的精密度”，“卷”：“458”，“作者”：“cleaveland”，“年份”：“1990”，“日志标题”：“Proc CONCUR 90”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF00264365”}、{“密钥”：“ref12”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/0304-975（84）90113-0“}，{“key”：“ref13”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/BFb0039065“}，{“key”：“ref14”，“article-title”：“扩展通信过程的定时失败语义”，“volume”：”267“，“author”：“gerth”，“year”：“1987”，“journal-title“：”ICALP’87“}的会议记录”，{《journal-title》：“代数过程理论”，“年份”：“1988”，“au作者”：“hennessy”，“key“：”ref15“}A Temporal Process Algebra”，“year”：“1990”，“author”：“hennessy”，“key”：“ref16”}，{“journal-title”：“Communicating Sequential Processes”，“年份”：“1985”，“作者”：“hoare”，”key“：”ref17“}，”{“密钥”：“ref18”，“首页”：“223”，“文章标题”：“实时并发指称语义的完全抽象”，“卷”：“87”，“作家”：“会聚”，“年”：“1987年“，”journal-title“：”Proc POPL“}，{“journal-title”：“通信过程的时间模型”，“year”：“1982”，“author”：“jones”，“key”：“ref19”}，}“key“：”ref28“，“article-title”“：”度量空间作为实时并发模型“，”volume“：“298ref4“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（85 CBO9780511624193“}，{”键“：”参考6“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/828.833“}，{“key”：“ref29”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/LICS.1988.5117”}，“key“：”ref5“，”doi-assered-by“：”publisher“，”doi“：doi“：”10.1007\/3-540-52148-8_3“，”文章标题“：”并发工作台“，”volume“：”407“，”author“：”cleaveland“，”year“：”1989“，”journal-title“：”Proc Workshop Automatic Verification Methods Finite State Syst“}，”{“key”：“ref7”，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFBb0012760“}”，{“key”：“ref2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0304-3975（84）90067-7”}，“”journal-title：“”第九届国际交响乐组织协议规范测试与验证》，“article-title”：“有限状态系统的基于语义的验证工具”，“year”：“1989”，“author”：“cleaveland”，“key”：“ref9”}，{“journal-title“：“过程的效率预订单”，“年”：“1990”，“作者”：“arun-kumar”，“密钥”：“ref1”}publisher“，”DOI“：”10.1007 \/3-540-15648-8_14“}，{“key”：“ref22”，“DOI-asserted-by”：“crossref”，“DOI”：“10.1007 \/3-540-10235-3”，“volume”：”92“，”author“：”milner“，”year“：”1980“，”journal-title“：”A Calculus of Communicating Systems“}，{“新闻标题”：“交流与并发”，“年份”：“1989”，“作者”：“米尔纳”，“关键”：“参考文献24”}，{“关键”：“参考文献23”，“doi断言者”：“出版商”，“doi”：“10.1016/0304-3975（83）90114-7”}，{“卷”：“224”，“期刊标题”：“当前并发趋势”，“年份”：“1986”，“作者”：“pnueli”，“关键”：“参考文献26”}，{“关键”：“参考文献25”，“doi断言者”：“出版商”，“doi”：“10.1006 \/inco.1994.1083“｝]，“事件”：｛“名称”：“第六届IEEE计算机科学逻辑年会”，“地点”：“荷兰阿姆斯特丹”}，“容器-标签”：[“[1991]第六届电气与电子工程师协会计算机科学逻辑年度研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151635.pdf？arnumber=151635”，“内容类型”：“未指定”，“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://\/ieeexplore.iee.org\/document\/151635\/”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[null]]}，“引用计数“：30，”URL“：”http:\/\/dx.doi.org/10.1109\/lics.1991.151635“，”关系“：｛｝，”主题“：[]｝｝