We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of global types as "prime event structures".
翻译:我们建议将多党制会议解释为“流动活动结构”,这样可以明确代表届会内部的通信往来。 我们表明,当多党制会议可以按全球类型描述时,这种解释相当于将全球类型的会议解释为“主要活动结构 ” 。