We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions. We investigate the abstractness of this continuation semantics. We show that our continuation-based denotational models are weakly abstract with respect to the corresponding operational models.

翻译：我们为基于CCS扩展的进程演算开发了采用延续设计的指称语义与操作语义，该扩展机制为多方交互提供了支持。我们研究了这种延续语义的抽象性。我们证明，相对于相应的操作模型，我们基于延续的指称模型具有弱抽象性。