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
- GRAVERSEN EHIRSCH AMONTESI F(2024)Alice or Bob?: Process polymorphism in choreographiesJournal of Functional Programming10.1017/S095679682300011434Online publication date: 23-Jan-2024
- Edixhoven LJongmans SProença JCastellani I(2024)Branching pomsets: Design, expressiveness and applications to choreographiesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100919136(100919)Online publication date: Jan-2024
- Show More Cited By