米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维娅·克拉法 键入的移动对象。 （英文） Zbl 0999.68505号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 504-520 (2000). 摘要：我们描述了一个通用模型，用于将面向对象的构造嵌入到移动代理的演算中。该模型是使用消息传递的方法和原语扩展代理的结果。然后，我们研究了基于Cardelli和Gordon的移动环境的模型实例。我们为结果演算定义了一个类型系统，给出了主题约简定理，并讨论了用于静态检测运行时类型错误和用于其他程序验证目的的类型系统。关于整个系列，请参见[Zbl 0944.00069号]. 引用于1文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。1877504-520（2000年；Zbl 0999.68505）