{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T01:15:44Z”，“时间戳”：1648948544150}，“引用-计数”：15，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“DOI“：”10.1109\/apsec.2000.896684“，“type”：“proceedings article”，“created”：｛“date parts”：[[2002,11,11]]，“date time”：“2002-11-11T14:56:01Z”，“timestamp”：1037026561000｝，“source”：“Crossref”，“由count引用”：0，“title”：[“分布式系统合成的过程逻辑”]，“prefix”：“10.1109”，“author”：[｛“given”：“Y.”，“family”：“Isobe”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“K.”，“family”：“Ohmaki”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“author”：“milner”，“year”：“1989”，“journal-title”：“Communication and Concurrency”}，{“密钥”：“ref11”，“doi-asserted-by”：《出版商》，“doi”：“10.1007\/3-55719-9_109”}：“publisher”，“doi”：“10.1007\/978-0-387-35271-8_11”}，{“key”：“ref13”，“author”：“steen”，“year”：“1998”，“journal-title”：“过程规范的一致性和组成（第五章）”}，{”key“：”ref14“，”first-page“：”2“，”volume“：“491”，”author“：”stirling“，”year“：”1989“，”journal-title“：”Concurrency Theory Language and Architecture“}，”{“密钥”：“ref15”，“年份”：“1989”，“journal-ttitle”：“信息处理系统——开放系统互连——LOTOS一种基于观察行为时间顺序的形式化描述技术”}，{“key”：“ref4”，“first page”：”401“，”article-title“：”Conjunction and Disjunction过程代数中的最小不动点和最大不动点“，”volume“：”e83 A“，”author“：”isobe“，”year“：”2000“，“journal-title”：“IEICE Trans on Fundamentals”}，{“key”：“ref3”，“首页”：“660”，“文章标题”：“移动进程的因果关系”，“卷”：“944”，“作者”：“degano”，“年份”：“1995”，“johnal-tittle”：”ICALP'95“}，}“key:”ref6“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-58520-6_78“}”，{”key“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-54430-5_102”}，{“key”：“ref8”，“first-page”：“17”，“article-title”：“基于模态转换系统的面向约束的证明方法”，“volume”：”1019“，”author“：”larsen“，”year“：”1995“，”journal-title“：”TACAS'95：“功能分解：保持正确性的LOTOS转换”，“作者”：“langerak”，“年份”：“1990”，“日志标题”：“P-STV X”}，{“key”：“ref2”，“author”：“hoare”，“year”：“1985”，“journal-title”：“Communicating Sequential Processes”}“”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/357233.357237”}]，“event”：{“name”：“Seventh Asia-Pacific Software Engineering Conference.ASPEC 2000”，“location”：“Singapore”，“缩写词”：“APSEC-00”}，“container-title”：[“Proceedings Seventh ASI-Pacific Software Engering Conference.APSEC 2000”]，“original-title“：[]，”link“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/7203\/19407\/00896684.pdf？arnumber=896684”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,10]]，“日期时间”：“2017-03-10T17:15:15Z”，“时间戳”：1489166115000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.iee.org\/document\/896684\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：15，”URL“：”http://\/dx.doi.org\/10.109\/apsec.2000.896684“，”关系“：{}，‘主题’：[]}