文件大小：0.88 MB 22页
Pi-Calculus过程并行复杂性的大小类型及其用途
作者
小林直树 
-
部分： 体积： 第32届并行理论国际会议（CONCUR 2021）
系列： 莱布尼茨国际信息学论文集
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2021-08-13
文件
文件标识符
作者详细信息
致谢
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→类型结构 计算理论→过程计算 软件及其工程→软件验证
关键词
类型系统 Pi-calculus公司 过程微积分 复杂性分析 使用 尺寸大小的类型
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
埃尔维拉·阿尔伯特（Elvira Albert）、杰苏斯·科里亚斯（Jesús Correas）、艾纳·布罗赫·约翰森（Einar Broch Johnsen）和吉列尔莫·罗曼·迪兹（Guillermo Román-Díez）。 分布式系统的并行成本分析。 《静态分析——第22届国际研讨会》，SAS 2015，法国圣马洛，2015年9月9日至11日，《计算机科学讲稿》第9291卷，第275-292页。 施普林格，2015年。 
-
埃尔维拉·阿尔伯特（Elvira Albert）、安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）、萨米尔·根奈姆（Samir Genaim）和恩里克·马丁·马汀（Enrique Martin-Martin）。 具有并发交织的环路的可靠保证端接和成本分析。 《自动推理杂志》，59（1）：47-852017。
-
马丁·阿文齐尼（Martin Avanzini）和乌戈·达尔·拉戈（Ugo Dal Lago）。 自动化大小类型推理以进行复杂性分析。 《美国计算机学会程序设计语言会议录》，1（ICFP）：432017年。
-
Patrick Baillot和Alexis Ghyselen。 像素计算中并行计算复杂性的类型。 《编程语言与系统》——第30届欧洲编程研讨会，ESOP 2021，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2021，计算机科学讲义第12648卷，第59-86页。 施普林格，2021年。
-
David Castro-Perez和Nobuko Yoshida。 CAMP：具有成本意识的多方会话协议。 程序。 ACM计划。 Lang.，4（OOPSLA）：155:1-155:302020年。
-
乌戈·达尔·拉戈（Ugo Dal Lago）和马可·加博阿迪（Marco Gaboardi）。 线性相关类型和相对完整性。 《计算机科学中的逻辑》（LICS），2011年第26届IEEE年会，第133-142页。 IEEE，2011年。
-
Ugo Dal Lago、Simone Martini和Davide Sangiorgi，《轻逻辑和高阶过程》。 计算机科学中的数学结构，26（6）：969-9922016。
-
Ornela Dardha、Elena Giachino和Davide Sangiorgi。重新讨论了会话类型。 信息与计算，256:253-2862017年。
-
Ankush Das、Jan Hoffmann和Frank Pfenning。 时间会话类型的并行复杂性分析。 程序。 ACM计划。 Lang.，2（ICFP）：91:1-91:30，2018年。
-
Ankush Das、Jan Hoffmann和Frank Pfenning。 使用资源软件会话类型进行工作分析。 《第33届ACM/IEEE计算机科学逻辑研讨会论文集》，2018年7月9日至12日，英国牛津，LICS 2018，第305-314页。 ACM，2018年。
-
Romain Demangeon、Daniel Hirschkoff、Naoki Kobayashi和Davide Sangiorgi。关于过程终止推理的复杂性。 Gilles Barthe和Cédric Fournet主编，《值得信赖的全球计算》，第三次研讨会，TGC 2007，Sophia-Antipolis，法国，2007年11月5-6日，修订论文选集，计算机科学讲义第4912卷，第140-155页。 施普林格，2007年。 网址： https://doi.org/10.1007/978-3-540-78663-4_11 。 -
罗曼·德曼根（Romain Demangeon）和吉田信子（Nobuko Yoshida）。 分布式进程的因果计算复杂性。 第33届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS’18，第344-353页。 ACM，2018年。
-
Yuxin Deng和Davide Sangiorgi。确保按类型终止。 信息与计算，204（7）：1045-10822006。
-
保罗·迪·詹伯拉迪诺和乌戈·达尔·拉戈。 会话类型和多项式时间。 《计算机科学中的数学结构》，2015年1月。
-
Elena Giachino、Einar Broch Johnsen、Cosimo Laneve和Ka I Pun。 并发程序的时间复杂性——一种基于行为类型的技术。 《组件软件的形式方面——第12届国际会议》，FACS 2015，巴西尼特罗，2015年10月14日至16日，修订论文集，计算机科学讲义第9539卷，第199-216页。 斯普林格，2016年。
-
斯特凡·吉梅内兹和乔治·莫瑟。 交互的复杂性。 2016年1月20日至22日，美国佛罗里达州圣彼得堡，2016年第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，第243-255页。
-
简·霍夫曼（Jan Hoffmann）、克劳斯·埃利格（Klaus Aehlig）和马丁·霍夫门（Martin Hofmann）。 多元摊销资源分析。 ACM事务处理。 程序。 语言系统。， 34(3):14:1-14:62, 2012.
-
简·霍夫曼（Jan Hoffmann）、克劳斯·埃利格（Klaus Aehlig）和马丁·霍夫门（Martin Hofmann）。 资源意识ML.计算机辅助验证-第24届国际会议，CAV 2012，伯克利，加利福尼亚州，美国，2012年7月7日至13日，《会议录》，计算机科学讲稿第7358卷，第781-786页。 施普林格，2012年。
-
简·霍夫曼和马丁·霍夫曼。 多项式潜力摊销资源分析。 2010年3月20日至28日，作为欧洲软件理论与实践联合会议的一部分，在编程语言与系统领域，第19届欧洲编程研讨会（ESOP 2010）在塞浦路斯帕福斯举行。 《计算机科学讲义》第6012卷，第287-306页。 施普林格，2010年。
-
简·霍夫曼和钟绍。 并行程序的自动静态成本分析。 Jan Vitek，《编程语言和系统》编辑，第132-157页，柏林，海德堡，2015年。 施普林格-柏林-海德堡。
-
Martin Hofmann和Steffen Jost。 一阶函数程序堆空间使用的静态预测。 2003年1月15日至17日，美国路易斯安那州新奥尔良，第30届SIGPLAN-SIGACT编程语言原理研讨会，POPL 2003会议记录，第185-197页。 ACM，2003年。
-
小林直树。 一种部分无死锁类型的进程演算。 1997年6月29日至7月2日，波兰华沙，第12届IEEE计算机科学逻辑年会论文集，第128-139页。 IEEE计算机学会，1997年。 网址： https://doi.org/10.1109/LICS.1997.614941 。 -
小林直树。 无锁过程的类型系统。 信息与计算，177（2）：122-1592002。
-
小林直树。 并发程序的类型系统。 在十字路口的形式方法中。 《从万灵药到基础支持》，第439-453页。 斯普林格，2003年。
-
小林直树。 π演算的基于类型的信息流分析。 信息学报，42（4-5）：291-3472005。
-
小林直树。 一种新型的无死锁过程系统。 在并行理论国际会议上，第233-247页。 斯普林格，2006年。
-
Naoki Kobayashi、Shin Saito和Eijiro Sumii。 一种隐式无死锁进程演算。 在Catuscia Palamidessi中，CONCUR 2000-并发理论编辑，第489-504页。 施普林格-柏林-海德堡，2000年。
-
Antoine Madet和Roberto M.Amadio。 具有多线程和副作用的初等仿射λ-演算。 2011年6月1日至3日，塞尔维亚诺维萨德，2011年TLCA第十届国际会议，《打字兰姆达演算与应用》。 《计算机科学讲义》第6690卷，第138-152页。 施普林格，2011年。
-
罗宾·米尔纳。 通信和并发。 计算机科学PHI系列。 普伦蒂斯·霍尔，1989年。
-
苏美英二郎和小林直树。 广义无死锁过程演算。 程序中。 高级并发语言研讨会（HLCL'98），ENTCS第16（3）卷，第55-77页，1998年。