The main aim of the tutorial is to review some proposals of semantics for coordination languages based on process algebra, that have been revealed to be useful to verify the equivalence of different implementation of a language or to carry out a formal comparison of the expressive power of the coordination primitives.
The goal of the tutorial is to provide the participants with the basic concepts on the coordination field : namely, the differences and relationships between the main approaches to coordination, and the techniques permitting to carry out a careful choice of the coordination primitives more suitable for a given application.