Simon Bliudze Roberto Bruni Davide Grohmann Alexandra Silva Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction ICE http://dx.doi.org/10.4204/EPTCS.38 2010 EPTCS 38 db/series/eptcs/eptcs38.html