2024
DOI: 10.1145/3632398
|View full text |Cite
|
Sign up to set email alerts
|

Choral: Object-oriented Choreographic Programming

Saverio Giallorenzo,
Fabrizio Montesi,
Marco Peressotti

Abstract: Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming, choreographies are programs that can be compiled into executable implementations. In this article, we present Choral, the first choreographic programming language based on mainstream abstractions. The key idea in Choral is a new notion of data type, which allows for expressing that da… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2025
2025

Publication Types

Select...
2
1

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
references
References 89 publications
0
0
0
Order By: Relevance