Twenty years of coordination technologies: State-of-the-art and perspectives

Since complexity of inter- and intra-systems interactions is steadily increasing in modern application scenarios (e.g., the IoT), coordination technologies are required to take a crucial step towards maturity. In this paper we look back at the history of the COORDINATION conference in order to shed light on the current status of the coordination technologies there proposed throughout the years, in an attempt to understand success stories, limitations, and possibly reveal the gap between actual technologies, theoretical models, and novel application needs

On Distributed Verification and Verified Distribution

Fokkink, W.J. [Promotor]Pol, J.C. van de [Copromotor

The SPACETUB Models and Framework

SPACETUB iS a framework to model a variety of coordination languages from the LINDA family and a testbed for experimentation with them. We describe the design of the framework derived from a comparative analysis of a set of language, its structure and its initial implementation