Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Programming Languages
2024-11-01 v1 Distributed, Parallel, and Cluster Computing
Multiagent Systems
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.
Keywords
Cite
@article{arxiv.2410.23761,
title = {Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS},
author = {Eneia Nicolae Todoran and Gabriel Ciobanu},
journal= {arXiv preprint arXiv:2410.23761},
year = {2024}
}
Comments
In Proceedings FROM 2024, arXiv:2410.23020