38 citations · 145 across the 24 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★ 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…