Cordination Models and Languages: a Formal Introduction

Presented by Nadia Busi and Gianluigi Zavattaro

April 7, 2002, morning

Abstract :

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.

Learning Objectives:

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.