Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Eneia Nicolae Todoran (Dept. of Computer Science, Technical University, of Cluj-Napoca), Gabriel Ciobanu (Academia Europaea)
TL;DR
This paper introduces continuation-based denotational and operational semantics for process calculi with multiparty interactions, analyzing their abstractness and demonstrating their weak correspondence.
Contribution
It presents a novel continuation semantics framework for CCS-based process calculi supporting multiparty interactions, with an analysis of their abstractness.
Findings
Denotational models are weakly abstract compared to operational models.
The semantics support multiparty interactions in process calculi.
Analysis of the abstractness of continuation semantics.
Abstract
We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions. We investigate the abstractness of this continuation semantics. We show that our continuation-based denotational models are weakly abstract with respect to the corresponding operational models.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.