计算与交互 ·交互的机器模型 2.持久图灵机PTM:., 表达能力等价于SM 3.多带交互机MM: 表达能力大于SM 但都不足以作为先前提到的多种交互计算重要范 例的统一机器模型 能描述交互的演算 一π演算是对前述挑战的最成功回应 π演算的两个重要特色：行为（或观察)等价的概 念，以及对交互行为模式分类的新的类型理论 π演算已经被应用到编程语言设计、分布式系统的 分析和验证等领域，产生了广泛的影响计算与交互 • 交互的机器模型 2. 持久图灵机PTM：…，表达能力等价于SIM 3. 多带交互机MIM：…，表达能力大于SIM 但都不足以作为先前提到的多种交互计算重要范 例的统一机器模型 • 能描述交互的演算 – 演算是对前述挑战的最成功回应 – 演算的两个重要特色：行为（或观察）等价的概 念，以及对交互行为模式分类的新的类型理论 – 演算已经被应用到编程语言设计、分布式系统的 分析和验证等领域，产生了广泛的影响 18