notesum.ai

Published at October 31

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS

cs.PL
cs.DC
cs.MA
F.3.2; D.3.1

Released Date: October 31, 2024

Authors: Eneia Nicolae Todoran1, Gabriel Ciobanu2

Aff.: 1Dept. of Computer Science, Technical University of Cluj-Napoca; 2Academia Europaea

Arxiv: http://arxiv.org/abs/2410.23761v1