44 citations · 217 across the 40 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013★ 28 cited
Amending Choreographies
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…
cs.PL2013★ 5 cited
Merging Multiparty Protocols in Multiparty Choreographies
Marco Carbone, Fabrizio Montesi
Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol sp…