32 citations · 78 across the 20 of their papers we have counts for
Showing 2013 · cs.PLShow all
2 papers · 2 filters
cs.PL2013
Proceedings 6th Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alberto Lluch Lafuente +1
This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite…
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…