Partially typed multiparty sessions with internal delegation

DOI10.1016/j.jlamp.2024.101018MaRDI QIDQ6643472

Viviana Bono, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Publication date: 26 November 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

delegationprocess calculimultiparty session typescommunication-based programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Partially typed multiparty sessions with internal delegation