32 citations · 78 across the 20 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.PL2011★ 6 cited
A Logic for Choreographies
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt +1
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verifica…
cs.LO2011
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satel…