论内涵通信的表达能力

通信原语的表达能力已在基于 Pi-演算的通用框架中得到探索，该框架考虑了四个特征：同步性（异步与同步）、元数（单体与多体数据）、通信介质（共享数据空间与基于通道）以及模式匹配（绑定到名称与测试名称相等性）。此处，模式匹配被推广以涵盖具有内部结构的项，如在 Spi 演算、并发模式演算和 Psi 演算等近期演算中所见。本文探讨了项上的内涵性，特别是能够同时匹配名称和结构的通信原语。通过编码的可能性与不可能性分析，本文表明仅内涵性即可编码同步性、元数、通信介质和模式匹配，然而缺乏内涵性的这些特征的任何组合都无法编码任何内涵语言。