Year: 2025
Type: article
Abstract: 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.
DOI: 10.4204/eptcs.433.5
Authors: Telmo Ribeiro, José Proença, Mário Florido
Institution: Universidade do Porto
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
Awards: G3574973028, Laboratório Associado de Sistemas Inteligentes, G4497198408, G505757079, Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, G6075150802, G6997658380, Métodos quantitativos para a programação ciber-física: Uma abordagem precisa para racicionar sobre imprecisões na computação ciber-física
OpenAlex ID: W7101380331
FWCI:
Cites:
Cited by:
Related to: