41 citations · 68 across the 15 of their papers we have counts for
1 paper · 1 filter
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…