朱塞佩·卡斯塔尼亚；米歇尔·布格列西；西尔维亚·克拉法 装箱环境概述（摘要）。 （英语） Zbl 1268.68123号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，1-6（2002）。 小结：在本次讲座中，我们介绍了作者发表的一些工作[Lect.Notes Compute.Sci.2215，38–63（2001；Zbl 1087.68541号)；莱克特。票据计算。科学。2154, 102–120 (2001;Zbl 1006.68533号)]并提示了当前信息流和安全方面的一些新的研究方向。更准确地说，我们描述了装箱环境的演算L.Cardelli（卡德利）和A.D.戈登《Theor.Comput.Sci.240》，第1期，177-213（2000；Zbl 0954.68108号)]移动环境是移动和动态可重构代理的演算。框式环境从移动环境中继承（部分）移动性原语，但依赖于完全不同的通信模型。新的通信原语很好地符合移动环境的设计原则，并用细粒度、更有效的环境交互机制来补充现有的环境移动性结构。因此，装箱的环境保留了环境微积分的表达能力和计算风格，以及其形式表示的优雅。此外，它们增强了移动环境下类型化通信的灵活性，并对同步和异步输入输出之间的关系提供了新的见解。有关整个系列，请参见[Zbl 1267.68025号]. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 引文：Zbl 1087.68541号；兹比尔1006.68533；Zbl 0954.68108号 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人，《电子》。注释Theor。计算。科学。62、1--6（2002年；Zbl 1268.68123） 全文： 内政部 参考文献： [1] G.布多尔。异步和π演算。研究报告1702，INRIA，http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol.html; G.布多尔。异步和π演算。研究报告1702，INRIA，http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol.html [2] Bugliesi，M。；卡斯塔尼亚，G。；Crafa，S.，《盒装环境》（TACS 2001，LNCS（2001）第2215号，施普林格：日本仙台施普林格），38-63·Zbl 1087.68541号 [3] Bugliesi，M。；卡斯塔尼亚，G。；Crafa，S.，《关于移动环境中安全性的推理》（CONCUR 2001，LNCS（2001）第2154号，施普林格出版社），102-120·Zbl 1006.68533号 [4] L.Cardelli和A.Gordon。移动环境。在98年POPL会议记录; L.Cardelli和A.Gordon。移动环境。在98年POPL会议记录·Zbl 1253.68238号 [5] 卡斯塔尼亚，G。；Ghelli，G。；Zappa，F.，《印章演算中的打字流动性》（CONCUR 2001，LNCS（2001）第2154号，施普林格），82-101·Zbl 1006.68535号 [6] J.A.Goguen和J.Meseguer。安全策略和安全模型。在保密与隐私专题讨论会会议记录; J.A.Goguen和J.Meseguer。安全策略和安全模型。在保密与隐私专题讨论会会议记录 [7] 维泰克·J。；Castagna，G.，《密封：安全移动计算的框架》，（《互联网编程语言》，LNCS（1999）第1686期，施普林格出版社），第47-77页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。