论连接的表达力

基于π演算的通用框架中，通过考虑四个特征探讨了通信原语的表达力：同步性（异步 vs 同步）、元数（一元 vs 多元数据）、通信媒介（共享数据空间 vs 基于通道）以及模式匹配（绑定到名字 vs 测试名字相等性 vs 内涵性）。此处考虑了另一个维度——协调，它解释了发生一次交互所需进程的数量。协调将二元语言（如π演算）推广为连接语言，后者组合了诸如 Join 演算和通用会合演算中的输入。通过编码的可能性/不可能性，本文表明协调与其他特征无关。也就是说，连接语言比二元语言更具表达力，且其他特征的任何组合都无法将连接语言编码为二元语言。此外，除非其他特征能以别的方式编码，否则连接无法编码其中任一特征。