English

Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction

Logic in Computer Science 2010-10-27 v1 Distributed, Parallel, and Cluster Computing Multiagent Systems

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.

Keywords

Cite

@article{arxiv.1010.5308,
  title  = {Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction},
  author = {Simon Bliudze and Roberto Bruni and Davide Grohmann and Alexandra Silva},
  journal= {arXiv preprint arXiv:1010.5308},
  year   = {2010}
}
R2 v1 2026-06-21T16:34:06.080Z