{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,21]]，“日期时间”：“2024-05-21T19:10:13Z”，“时间戳”：1716318613675}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540713142”，“类型”：打印“}，{”值“：“9783540713166”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-71316-6_33“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T12:58:28Z“，”时间戳“：1184590708000}，”页面“：”490-504“，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“带中断的并行微积分的基于类型的死锁分析”]，“prefix”：“10.1007”，”author“：[{”given“：”Kohei“，”family“：”Suenaga“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Naoki“，“参考”用法：[{“issue”：“2”，“key”：“33_CR1”，“doi-asserted-by”：“publisher”，《first page》：“207”，“doi”：“10.1145\/1119479.1119480”，，“volume”：”28“，“author”：“M.Abadi”，“year”：“2006”，“unstructured”：“Abadi，M.，Flanagan，C.，Freund，S.N.：安全锁定的类型：java的静态竞检测。编程语言和系统上的ACM事务\u00a028（2），207\u2013255（2006）“，”journal-title“：”ACM Transactions on Programming Languages and Systems“}，{“key”：“33_CR2”，“series-title”：“SIGPLAN Notices”，“doi-serted-by”：“publisher”，“first page”：”211“，”doi“：”10.1145\/582419.582440“，“volume-title”：”《2002年ACM SIGPLAN面向对象编程系统、语言和应用会议论文集》（OOPSLA 2002），“作者”：“C.Boyapati”，“年份”：“2002”，“非结构化”：“Boyapati，C.，Lee，R.，Rinard，M.：安全编程的所有权类型：防止数据争用和死锁。收录：2002年ACM SIGPLAN面向对象编程系统、语言和应用会议记录（OOPSLA 2002）。SIGPLAN通知，第u00a037卷，第211\u2013230页。ACM Press，New York（2002）“｝，｛“issue”：“2”，“key”：“33_CR3”，“doi asserted by”：“publisher”，“first page”：“144”，“doi”：“10.1016\/j.ic.2004.06.001”，“volume”：“194”，“author”：“K.Chatterjee”，“year”：“2004”，“nonstructured”：“Chatterjee，K.等人：中断驱动程序的堆栈大小分析。Information and Computation\u00a0194（2），144\u2013174（2004）”，“journal-title“：“信息与计算”}，{“key”：“33_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-pages”：“91”，“doi”：“10.1007\/3-540-49099-X_7”，“volume-title”：《编程语言与系统》，“author”：“C.Flanagan”，《年份》：“1999”，“非结构化”：“Flanagan，C.，Abadi，M.：安全锁定类型。在：Swierstra，S.D.（编辑）ESOP 1999和ETAPS 1999。LNCS，第u00a01576卷，第91\u2013108页。Springer，Heidelberg（1999）“}，{“key”：“33_CR5”，“volume-title”：“Java语言规范”，“author”：“J.Gosling”，“year”：“2005”，“unstructured”：“Gosling，J.，et al.：Java语言规范，第三版。Addison-Wesley Professional，Reading（2005）”，“edition”：“3”}，[{“键”：“33 _CR6”，“doi-asserted-by”：“publisher”，“首页”：“295”，”“doi”：“10.1145\/237721.237794“，“卷标”：“第23届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（POPL 1996）”，“作者”：“S.P.Jones”，“年份”：“1996”，“非结构化”：“Jones，S.P.，Gordon，A.，Finne，S.：Concurrent haskell。摘自：第23届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（POPL 1996），第295\u2013308页。ACM Press，New York（1996）“}，{”issue“：“4-5”，”key“：“33_CR7”，”doi-asserted-by“：”publisher“，”first page“：”291“，”doi“：”10.1007\/s00236-005-0179-x“，“volume”：“42”，“author”：“N.Kobayashi”，“year”：“2005”，“unstructured”：“Kobayash，N.：基于类型的像素信息流分析。信息学报\u00a042（4-5），291\u2013 347（2005）“，”journal-title“：”Acta Informatica“}，{“key”：“33_CR8”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”233“，“doi”：“10.1007\/11817949_16”，“volume-title”：”CONCUR 2006\u2013并发理论“，”author“：”N.Kobayashi“，”year“：”2006“，”unstructured“：”小林，N.：无死锁过程的新型系统。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，卷\u00a04137，第233\u2013247页。Springer，Heidelberg（2006）“}，{”key“：”33_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“489”，”doi“：”10.1007\/3-540-44618-4_35“，”volume-title“：“CONCUR 2000-并发理论”，“author”：“N.Kobayashi”，“year”：“2000”，“unstructured”：“”Kobayashi，N.，Saito，S.，Sumii，E.：隐式无死锁过程演算。收录于：Palamidessi，C.（编辑）CONCUR 2000。LNCS，卷\u00a01877，第489页\u2013503。Springer，Heidelberg（2000）“}，{“key”：“33_CR10”，“volume-title”：“ACM SIGPLAN 2001编程语言设计与实现会议论文集（PLDI 2001）”，“author”：“S.Marlow”，“year”：“2001”，“unstructured”：“Marlow，S.、Jones，S.P.、Moran，A.：haskell中的异步异常。在：ACM SIGPLAN 2001年编程语言设计与实现会议论文集（PLDI 2001），ACM出版社，纽约（2001）“}，{“key”：“33_CR11”，“volume-title”：“第21届IEEE国际并行与分布式处理研讨会论文集（IPDPS2007）”，“author”：“H.Matsuba”，“year”：“2007”，“unstructured”：“Matsuba，H.，Ishikawa，Y.：互联网服务器的单一IP地址集群。摘自：第21届IEEE国际并行和分布式处理研讨会论文集（IPDPS2007），IEEE计算机社会出版社，洛斯·阿拉米托斯（2007）“}，{“key”：“33_CR12”，“volume-title”：“Communication and Concurrency”，“author”：“R.Milner”，“year”：“1995”，“unstructured”：“Milner，R.：Communication和Concurrence。Prentice-Hall，Englewood Cliffs（1995）“}，{”key“：”33_CR13“，”volume-title“：”Communicating and Mobile Systems:the Pi-Calculus“，”author“：”R.Milner“，”year“：”1999“，”unstructured“：”Milner，R.：“Communicating and-Mobile Systems:the Pi-Calpulus.Cambridge University Press，Cambridges（1999）”}，“{”key“：“33_CR14”，”series-title“：“计算机科学课堂讲稿”，”doi-asserted-by“：”publisher“，”第一页“：”291“，”DOI“：”10.1007\/3-540-45739-9_18“，”卷时间“：”实时和容错系统中的形式化技术“，”作者“：”J.Palsberg“，”年份“：”2002“，”非结构化“：”Palsberg-，J.，Ma，D.：一种类型化中断演算。收录：Damm，W.，Olderog，E.-R.（编辑）FTRTFT 2002。LNCS，卷\u00a02469，第291页\u2013310。Springer，Heidelberg（2002）“}]，“container-title”：[“Programming Languages and Systems”，“Teach Notes in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_33”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}，“存放”：{date-parts“：[[2019,2,17]]，”date-time“：”2019-02-17T21:52:40Z“，”timestamp“：155044036000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-71316-6_33”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[2007]]}，《ISBN》：[“9783540713142”，“9783540713166”]，“references-count”：14，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-71316-6_33“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：“1611-33049”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2007]]}}}}