19 citations · 51 across the 10 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…