{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,6,22]]，“日期-时间”：“2024-06-22T04:39:30Z”，“时间戳”：1719031170917}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：34，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2014,7,14]]}，“DOI”：“10.1145\/2603088.260316”，“type”：“proceedings-article”，“created”：{“date-parts”：[2014,7,28]]，“date-time”：“2014-07-28T13:21:45Z”，“timestamp”：140655375000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”“：”Crossref“，”is-referenced-by-count“：29，”title“：[“线性\u03c0-演算中的死锁和锁自由”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Luca”，“家族”：“Padovani”，“序列”：“第一”，“从属关系”：[}“名称”：“意大利都灵大学\u00e0”}]}，“成员”：“320”，“在线发布”：{“date-parts”：[[2014,7,14]}，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-85361-9_33”}，{“key”：“e_1_3_2_1_2_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/1793574.1793593“}，}”key“：”e_1_ 3_2_1_3_1“，”doi-assert-by“：”publisher“，“，”doi“：”10.2168\/LMCS-8（1:17）2012“}，{”key“：”e_1_3_2_1_5_1“，”doi-asserted-by“：”publisher“，“DOI”：“10.1145\/322374.322380”}，{“key”：“e_1_3_2_1_6_1”，“DOI-asserted-by”：“publisher”，”DOI“：“10.5555\/1887654.1887670”}、{“密钥”：“e_1_3_2_1_7_1”、“DOI-sserted-by“：”publisher“，”DOI:“10.2168\/LMCS-8（1:24“，”DOI“：”10.1016\/j.ic.2005.005.006“}，{”key“：”e_1_3_2_1_9_1“，”首页“：”45“，“volume-title”：“2013年协调会议记录”，“author”：“Coppo M.”，“year”：“2013.”，“unstructured”：“M.Coppo，M.Dezani-Ciancaglini，L.Padovani，and N.Yoshida.动态交错多党会议全球进展属性的推断.《2013年协调会记录》，LNCS 7890，第45-59页.Springer，2013.M.Copbo，M。Dezani-Ciancaglini、L.Padovani和N.Yoshida。动态交错的多方会话的全局进度属性的推断。《2013年协调会议记录》，LNCS 7890，第45-59页。Springer，2013.“}，{”key“：”e_1_3_2_1_1_1“，”unstructured“：”M.Coppo M.Dezani-Ciancaglini N.Yoshida和L.Padovani.动态交错多方会议的全球进展。计算机科学中的数学结构即将出现。M.Coppo M.德扎尼-Ciancallini N.Yoshida和L。帕多瓦尼。动态交错多方会话的全局进度。计算机科学中的数学结构即将出现。“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（83）90059-2“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/2370776.2370794”}，“{”密钥“：”e_1_3_2_13_1“，42-32940-1_20“}，{”键“：”e_1_3_2_1_14_1“，”doi-asserted-by“：”出版商“，”doi“：”10.1016\/j.ic.2006.03.002“}，{“key”：“e_1_3_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-28869-2_10“}”，{”key“：”e_1_ 3_2_1_16_1“，”volume-title“：”参数化多方会话类型。计算机科学中的逻辑方法，8（4）“，”author“：”Deni\u00e9lou P.-M.“，”年份“：”2012“，”非结构化“：”P.-M.Deni\u00e9lou，N.Yoshida，A。Bejleri和R.Hu。参数化的多方会话类型。《计算机科学中的逻辑方法》，8（4），2012年。P.-M.Deni\u00e9lou、N.Yoshida、A.Bejleri和R.Hu。参数化多方会话类型。计算机科学中的逻辑方法，8（4），2012.“}，{”key“：”e_1_3_2_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/646728.703349”}，“key”：“e_1_ 3_2_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/645392.651876“}”，{“：”10.1145\/1328438.1328472“}，{”密钥“：”e_1_3_2_1_20_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1006 \/inco.2000.2872“}，{“key”：“e_1_3_2_1_21_1”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.scico.2013.05.001”}，“key“：”e_1_ 3_2_1_2 _22_1“，”doi-asserted-by“3_2_1_23_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00236-005-0179-x”}，{“key”：“e_1_3_2_1_24_1“，”doi-asserted-by“：“publisher”，“doi”：“10.1007\/11817949_16”}，{“key”：“e_1_ 3_2_1_2 5_1”，”volume-title“：”并发程序的类型系统。技术报告“，”author“：”Kobayashi N.“，“year”：“2007”，“unstructured”：“N。小林寺。并发程序的类型系统。技术报告，东北大学，2007年。简短版本出现在2002年联合国大学研究所十周年学术讨论会上。N.小林。并发程序的类型系统。技术报告，东北大学，2007年。简短版本出现在2002年联合国大学研究所十周年学术讨论会上。“，”doi“：”10.1007\/978-3642-40184-8_30“}，{”key“：”e_1_3_2_1_29_1“，”doi-asserted-by“：”publisher“，“doi”：“10.4204\/EPTCS.137.2”}，{“key”：“e_1_ 3_2_1_30_1”，“首页”：“88”，“卷时间”：“FoSSaCS’14会议录”，“作者”：“Padovani L.”，年：“2014”，“非结构化”：“L。帕多瓦尼。复合型和等递归型线性π-演算的类型重建。《FoSSaCS’14会议录》，LNCS 8412，第88-102页。施普林格，2014年。L.帕多瓦尼。复合型和等递归型线性π-演算的类型重建。《FoSSaCS’14会议录》，LNCS 8412，第88-102页。Springer，2014.“}，{”key“：”e_1_3_2_1_31_1“，”volume-title“：”University\u00e0 di Torino“，”author“：”Padovani L.“，”year“：”2014“，”unstructured“：”L.Padovani.线性π演算中的死锁和锁自由度。技术报告，University\ u00e0-di Torino，2014。网址：http://hal.inria.fr//hal-00932356\/.L。帕多瓦尼。线性π演算中的死锁和锁自由。技术报告，都灵大学，2014年。网址：http://\/hal.inria.fr\/hal-00932356\/。“}，{”key“：”e_1_3_2_1_32_1“，”volume-title“：”Universit\u00e0 di Torino“，”author“：”Padovani L.“，”year“：”2014“，”unstructured“：”L.Padovani and L.Novara。无死锁高阶并发程序的类型。技术报告，Universit\ u00e0-di Torino，2014。网址：http://hal.inria.fr//hal-00954364//.L.Pa多vani and L。诺瓦拉。无死锁的高阶并发程序的类型。技术报告，都灵大学，2014年。网址：http://\/hal.inria.fr\/hal-00954364\/。“}，{”key“：”e_1_3_2_1_33_1“，”first page“：“236”，”volume-title“：”Proceedings of COORDINATION'13“，”author“：”Vieira H.T“，”year“：”2013“，”unstructured“：”H.T.Vieira and V.T.Vasconcelos.《以通信为中心的系统中的打字进展》。《COORDIANTION'13'会议录》，LNCS 7890，第236--250页。Springer，2013。瓦康塞洛斯。以通信为中心的系统中的打字进度。在2013年《协调会议记录》中，LNCS 7890，第236-250页。Springer，2013.“}，{”key“：”e_1_3_2_1_34_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2364527.2364568”}]，“event”：{“name”：“CSL-LICS’14:第二十届EACSL计算机科学逻辑年会联席会议”，“location”：“Vienna Austria”，“缩写词”：“CS L-LICS‘14”，“赞助商”：[“SIGLOG ACM逻辑与计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机协会”，“SIGACT ACM算法和计算理论特别兴趣小组”，“容器标题”：[“第二十三届EACSL计算机科学逻辑年会（CSL）联席会议记录和第二十届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2603088.2603116“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,8]]，”date-time“2023-01-08T19:11:47Z”，“时间戳”：1673205107000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/2603088.2603116”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2014,7,14]}，“引用次数”：34，“替代id”：[“10.1145\/2603088.2603116”，“10.1145\/2603088”]，“URL”：“http://\/dx.doi.org\/10.1145\/2603088.2603166“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2014,7,14]]}，“断言”：[{”值“：”2014-07-14“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}