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