20 citations · 133 across the 34 of their papers we have counts for
1 paper · 2 filters
Laura Bocchi, Hernan Melgratti, Emilio Tuosto
Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreo…