Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction.

link: http://arxiv.org/abs/1010.5308
Abstract

This volume contains the proceedings of the 3rd Interaction and Concurrency
Experience (ICE 2010) workshop, which was held in Amsterdam, Netherlands on
10th of June 2010 as a satellite event of DisCoTec'10. Each year, the workshop
focuses on a specific topic: the topic of ICE 2010 was Guaranteed Interactions,
by which we mean, for example, guaranteeing safety, reactivity, quality of
service or satisfaction of analysis hypotheses.