A Process Algebraic View of Coordination

Coordination languages have been introduced since the early 80s as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras have been successfully exploited for the formal definition of the semantics of these languages and as a framework for the comparison of different coordination models.