Event structure semantics for multiparty sessions

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS

Journal of Logical and Algebraic Methods in Programming Pub Date : 2023-02-01 DOI:10.1016/j.jlamp.2022.100844

Ilaria Castellani , Mariangiola Dezani-Ciancaglini , Paola Giannini

引用次数: 0

Abstract

We propose an interpretation of multiparty sessions as Flow Event Structures, which allows concurrency within sessions 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 such global types as Prime Event Structures.

查看原文本刊更多论文

多方会话的事件结构语义

我们提出了一种将多方会话解释为流事件结构的方法，它允许显式地表示会话中的并发性。我们证明，当多方会话可以用全局类型描述时，这种解释等效于对诸如Prime Event Structures之类的全局类型的解释。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Logical and Algebraic Methods in Programming COMPUTER SCIENCE, THEORY & METHODS-LOGIC

CiteScore

2.60

自引率

22.20%

发文量

期刊介绍： The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.