机译:使用定时自动机对带有时钟的分布式系统进行建模:挑战和解决方案
机译:分布式系统的逻辑分析:建设性的重要性(邀请谈话)
机译:关于分布式系统的推理:WYSIWYG(特邀演讲)
机译:光盘20周年:邀请通话时间,时钟和我对分布式系统的想法的排序
机译:分布式Smalltalk:分布式系统中的继承和反应性
机译:评论时代已经过去了?纪念新西兰制药公司成立20周年
机译:关于辅助用途的起源具有威胁性和前途。理想化与认知模型话语传统(拉丁化)(特邀演讲)
机译:关于多方,多会话,多模式通信的多层对话管理的想法(邀请谈话的扩展摘要)