论文标题
多部分会话的事件结构语义
Event structure semantics for multiparty sessions
论文作者
论文摘要
我们将多方会话解释为“流动事件结构”，该会话允许在会话中明确表示通信之间的并发。我们表明，当多方会话可以用全球类型描述为将全局类型描述为“主要事件结构”时，这种解释是等效的。
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".
