| 会话类型为结构化交互提供了一种灵活的编程风格，并用于确保分布式进程的安全一致组合。传统会话类型仅包括单向输入（外部）和输出（内部）保护选项。这妨碍了会话过程探索像素的全部表达能力，因为混合选择比（非混合）保护选择更具表达能力。为了解决这个问题，最近Casal、Mordido和Vasconcelos提出了具有混合选择的二进制会话类型（CMV+）。本文对CMV+进行了一个令人惊讶的、不幸的结果：尽管包含了具有混合选择的无限制频道，但CMV+的混合选择是相当独立的，而不是混合的。我们使用两种方法证明了这一否定结果（使用领导者选举问题或同步模式作为区别特征），表明不存在从像素到CMV+的良好编码，从而保持了分布。然后，我们解决了他们关于将CMV+编码为CMV（无混合选择）的公开问题，证明了其合理性，从而证明了编码具有良好的耦合相似性。 |
