理论计算机科学www.elsevier.com/locate/entcs前言体积62Marina Lenisa和Marino Miculan摘要本卷包含TOSCA 2001研讨会的会议记录。这是最后的工作坊Teoria delle Concorrenza，Linguaggi di Ordine Construcore e Structure di Tipi（Theory of Concurrency，Higher OrderLanguages and Types）. TOSCA项目由意大利教育、大学和研究部（MIUR）和意大利拉奎拉、博洛尼亚、卡塔尼亚、佛罗伦萨、热那亚、因苏布里亚、比萨、罗马、都灵、乌迪内等大学资助。项目总负责人是Ugo Montanari（比萨大学）。讲习班举行了2001年11月19日至21日在意大利乌迪内大学举行TOSCA项目从1999年11月持续到2001年11月。其目标是整合并发理论、高阶系统和工具以及类型理论的方法和结果变成一个统一的环境参与该项目的各个小组的科学专业知识早在TOSCA项目之前就已建立。然而，这些群体之间的交流和思想传播并不令人满意。该方案的成果之一是促进和建立了联合合作、分享技术以及更普遍的相互促进。80多名研究人员参与了该项目。TOSCA的科学影响的重要性不可能将所有这些结果收集在一卷中;但是，这些论文可以从TOSCA网页上获得最初，TOSCA项目分为七个主题：1.模块、对象和反射（协调员：Eugenio Moggi，热那亚）; 2. 进程代数及其应用（罗伯托Gorrieri，博洛尼亚）; 3。 代数和范畴基础（NicolettaSabadini，Insubria）; 4.《自动机与验证》（Andrea Maggiolo-Schettini，比萨）5.移动过程的类型（Mariangiola Dezani-Ciancaglini，Torino）; 6.协调语言和移动计算（罗科德尼古拉，佛罗伦萨）; 7。《抽象逻辑与逻辑框架》（FurioHonsell，Udine）。后来，这些主题被分为三个领域：1. 网络意识方案编制（专题1、6;协调员：Rocco De Nicola）;进程代数和应用（主题2，4，5;协调员：罗伯托Gorrieri）; 3。计算元模型（主题3，7;协调员：FurioHonsell）。为了评价每个领域各群体之间的融合情况，在该项目第二年举办的三个重点讲习班上，选定了100多个TOSCA 2001最后一次研讨会专门介绍了1571-066157cElsevierB.V. 操作访问和C CB Y-NC-ND许可证。10.1016/S1571-0661（05）80561-42卷·数量这些案例研究。这些贡献都是原创的，它们被归类为上述三个领域。TOSCA 2001 的 计 划 委 员 会 由 Rocco De Nicola （ 佛 罗 伦 萨 ） 、 Mar- iangiola Dezani-Ciancaglini（都灵）、Roberto Gorrieri（博洛尼亚）、Furio Honsell（乌迪内，主席）、AndreaMaggiolo-Schettini（比萨）、Eugenio Moggi（热那亚）、Ugo Montanari（比萨）、NicolettaSabadini（米兰）组成。本卷载有研讨会上提出的论文的最终版本大约有20篇论文被提交，其中14篇是经过定期评审过程选出这些论文由项目委员会成员和AlessandroAldini，FabioAlessi，LorenzoBettini，MarcoBellia，VivianaBono，Maria Grazia Buscemi，Nadia Busi，Michele Bugliesi，Alberto Cia Baglione，Mario Coppo，SilviaCrafa，GianluigiFerrari，FerruccioDamiani，Ugo de'Liguoro，J o？elle DesPeyroux，F abio G adducci，GiorgioGhelli，StefaniaGnesi，AnnaLabella，RuggeroLan-otte，SalvatoreLaTorre，MicheleLoreti，StefanoMazzanti，Maria Chiara Meo，Marino Miculan，Angelo Montanari，Luca Paolini，Marco Pistore，RosarioPugliese，IvanoSalvo，IvanScagnetto，SimoneTini，FabioTudone，BettiVenneri，GianluigiZavattaro，埃琳娜·祖卡研讨会上有三个特邀讲座，每个领域一个：朱塞佩·卡斯塔尼亚的盒装环境，弗莱明·尼尔森的立方时间密码分析，戈登·普洛特金的双代数语义学本卷包括前两次特邀讲座的论文我们认为，TOSCA项目在建立各种先前存在的研究小组之间的新合作方面非常富有成效。本卷的论文主要是不同领域的研究人员和大学之间的合作作品。我们相信，在项目期间开始的许多合作将在未来继续富有成效我们非常感谢项目负责人Ugo Montanari，项目的所有成员，以及Vladimiro Sassone和LuigiToscano实施项目的Web服务器。我们还要感谢ENTCS系列的总编辑Mike Mislove，感谢他在使用ENTCS样式文件方面提供的帮助。还感谢乌迪内大学支持组织研讨会，并感谢论坛出版商帮助编写初稿。2002年4月20日Marina Lenisa，Marino Miculan
我的内容管理
展开
