Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916463071199232 |
|---|---|
| author | Todoran, Eneia Nicolae Ciobanu, Gabriel |
| author_facet | Todoran, Eneia Nicolae Ciobanu, Gabriel |
| contents | 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.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23761 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS Todoran, Eneia Nicolae Ciobanu, Gabriel Programming Languages Distributed, Parallel, and Cluster Computing Multiagent Systems F.3.2; D.3.1 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. |
| title | Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS |
| topic | Programming Languages Distributed, Parallel, and Cluster Computing Multiagent Systems F.3.2; D.3.1 |
| url | https://arxiv.org/abs/2410.23761 |