Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.24205 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917047924948992 |
|---|---|
| author | Ribeiro, Telmo Proença, José Florido, Mário |
| author_facet | Ribeiro, Telmo Proença, José Florido, Mário |
| contents | Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interactions by capturing valid patterns of interactions between participants. Many variations of MPST exist, each one with its rather specific features and idiosyncrasies. Here we propose a tool (CoMPSeT) that provides clearer insights over different features in existing MPST. We select a representative set of MPST examples and provide mechanisms to combine different features and to animate and compare the semantics of concrete examples. CoMPSeT is open-source, compiled into JavaScript, and can be directly executed from any browser, becoming useful both for researchers who want to better understand the landscape of MPST and for teachers who want to explain global choreographies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_24205 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | CoMPSeT: A Framework for Comparing Multiparty Session Types Ribeiro, Telmo Proença, José Florido, Mário Distributed, Parallel, and Cluster Computing Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interactions by capturing valid patterns of interactions between participants. Many variations of MPST exist, each one with its rather specific features and idiosyncrasies. Here we propose a tool (CoMPSeT) that provides clearer insights over different features in existing MPST. We select a representative set of MPST examples and provide mechanisms to combine different features and to animate and compare the semantics of concrete examples. CoMPSeT is open-source, compiled into JavaScript, and can be directly executed from any browser, becoming useful both for researchers who want to better understand the landscape of MPST and for teachers who want to explain global choreographies. |
| title | CoMPSeT: A Framework for Comparing Multiparty Session Types |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2510.24205 |