13 citations · 54 across the 15 of their papers we have counts for
1 paper · 2 filters
Laura Bocchi, Julien Lange, Emilio Tuosto
Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed…