{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T22:49:51Z”，“时间戳”：1648853391109}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540212591”，“类型”：“打印”}，{“值”：“9783540247432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-24743-234“，”type“：”book-capter“，”created“：{”date-ports“：[2010,8,2]，”date-time“：”2010-08-02T11:02:22Z“，”时间戳“：1280746942000}，”页面“：”508-522“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“A Spatial Logic for the Hybrid\u03c0-Calculus”]，“prefix”：“10.1007”，”author“：[{”given“：”William C.“，”family“：”Rounds“，”sequence“：”first“，”affiliation“：[]}“，”member“：”297“，”reference“：[[{“key”：”34_CR1“，“series-title”“：”“剑桥理论计算机科学丛书”，“doi-asserted-by”：“crossref”，“DOI”：“10.1017\/CBO9781107050884”，“volume-title”：“模态逻辑”，“author”：“P.Blackburn”，“year”：“2001”，“unstructured”：“Blackbuurn，P.，de Rijke，M.，de Venema，Y.：模态逻辑。剑桥理论计算机科学丛书，vol.u00a053。剑桥大学出版社，剑桥（2001）“}，{”key“：”34_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”Caires，L.，Cardelli，L.：并发的空间逻辑（第一部分）。In:Proceedings，Theory Aspects of Computer Software，4th International Symposium，Sendai，Japan10.1007\/3-540-45500-0_1“}，{“key”：“34_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“34.1”，“doi”：“10.1007\/s001650200016”，“volume”：”13“，“author”：“M.J.Gabbay”，“year”：“2001”，“unstructured”：“Gabbay，M.J.，Pitts，A.M.：一种新的变量绑定抽象语法方法。计算的形式\u00a013，341\u2013363（2001）”，“journal-title”：“计算的形式方面“}，{“key”：“34_CR4”，“首页”：“245”，“卷标”：“计算机辅助设计（ICCAD）国际会议论文集”，“作者”：“T.A.Henzinger”，“年份”：“2000”，“非结构化”：“Henzinger，T.A.、Qadeer，S.、Rajamani，S.K.：使用假设保证推理分解细化证明。摘自：《计算机辅助设计国际会议论文集》，第245\u2013252页。IEEE Computer Society Press，Los Alamitos（2000）“}，{“key”：“34_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Kozen，D.：命题mu-calculus.理论计算机科学\u00a027（1983）”，“doi”：“10.1016\/0304-3975（82）90125-6”}，“key“：”34_CR6“volume-title”：“通信和移动系统：u03c0-calculus”，“author”：“R.”。Milner”，“年份”：“1999年”，“非结构化”：“Milner，R.：通信和移动系统：\u03c0-演算。剑桥大学出版社，剑桥（1999）“}，{”key“：”34_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Rounds，W.，Song，H.：The \u03a6-calculations-一种用于可重构嵌入式系统分布式控制的语言。In:Hybrid systems:Computation and control。LNCS，vol.\u00a02263，pp.435\u2013449。Springer，Heidelberg（2003）“，“DOI”：“10.1007\/3-540-36580-X_32”}]，“container-title”：[“混合系统：计算与控制”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-24743-234”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2019,5,31]]，“日期时间”：“2019-05-31T23:19:56Z”，“时间戳”：1559344796000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\\link.springer.com\/10.1007\/978-3-540-24743-234”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2004]]}，“ISBN”：[“9783540212591”，“9783510247432”]，“references count“：7，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-24743-2_34“，”relation“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：”date parts“：[[2004]]｝｝