Cited By
View all- Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
- Cruz-Filipe LMontesi FPeressotti M(2023)A Formal Theory of Choreographic ProgrammingJournal of Automated Reasoning10.1007/s10817-023-09665-367:2Online publication date: 27-May-2023
- Vasconcelos VMartins FL�pez HYoshida N(2022)A Type Discipline for Message Passing Parallel ProgramsACM Transactions on Programming Languages and Systems10.1145/355251944:4(1-55)Online publication date: 21-Dec-2022
- Show More Cited By