31 citations · 106 across the 28 of their papers we have counts for
1 paper · 1 filter
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee tha…