{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T05:06:45Z”，“时间戳”：1725685605824}，“引用计数”：15，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[]，“内政部”：“10.1109\/lics.1991.151649”，“type”：“procesedings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：：“246-255”，“source”：”Crossref“，“is-referenced-by-count”：10，“title”：[“CCS with priority choice”]，“prefix”：“10.109”，“volume”：《176》，“author”：[{“given”：“J”，“family”：“Camilleri”，“sequence”：“first”，“affiliation”：[]}，{“given”：“G.”，“family”：“Winskel”，“sequence”：“additional”，“ffiliation”：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFBb0039069“}，“journal-title”：“occam Programming Manual”，”year“1984”，“key“：”ref11“}”，{”year：“0”，“key”：“ref12”}，{“journal-title”：“Communication and Concurrency”，“year”：“1989”，“author”：“milner”，“key”：“ref13”}，{“key“：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0039077”}、{“key”：”ref15“，”doi-assert-by“：”publisher：“1986”，“作者”：“brinksma”，“key”：“ref4”}，{“journal-title”：“优先级系统的部分顺序语义”，“year”：“1990”，“author”：“best”，“keys”：“ref3”}“，”首页“：”245“，”卷“：”176“，”作者“：“costa”，“year”：“1984”，“journal-title”：“Computer Science的数学基础”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/LICS.1988.5118“}，”{“journal-title“：”进程代数中中断机制的语法和定义方程“，”year“：”1985“，”author“：”baeten“，”key“：”ref2“}，“DOI”：“10.1007\/BFb0040258”}，{“key”：“ref9”，“DOI-asserted-by”：“publisher”，“DOI:”10.1007\/FFBb0039065“}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“荷兰阿姆斯特丹”}、“container-title”：[“[1991]Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science”]，“original title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151649.pdf？arnumber=151649”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,9]]，“日期时间”：“2017-03-09T11:08:06Z”，“时间戳”：1489057686000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/151649\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[null]]}，”引用计数“：15，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151649“，”关系“：{}，‘主题’：[]}