Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions

TL;DR

This paper presents the proceedings of the 2nd ICE workshop, focusing on advanced structured interactions in concurrency, such as multicast, broadcast, and distributed transactions, highlighting recent research developments in these complex synchronization mechanisms.

Contribution

It compiles recent research on structured interactions in concurrency, emphasizing synchronization beyond simple point-to-point communication.

Findings

Exploration of multicast and broadcast synchronizations

Analysis of time-dependent interactions

Discussion on distributed transaction mechanisms

Abstract

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a satellite workshop of CONCUR'09. The previous edition of ICE has been organized in Reykjavik (2008). The ICE workshop is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science and, each year, the workshop focuses on a specific topic: ICE 2009 focused on structured interactions meant as the class of synchronisations that go beyond the "simple" point-to-point synchronisations (e.g., multicast or broadcast synchronisations, even-notification based interactions, time dependent interactions, distributed transactions,...).