Event structure semantics for multiparty sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Event structure semantics for multiparty sessions. J. Log. Algebr. Meth. Program., 131:100844, February 2023. [doi]

Abstract

Abstract is missing.