%0 Journal Article
%T Overview of Thirty Semantic Formalisms for Reo
%A S.-S. T.Q. Jongmans
%A F. Arbab
%J Scientific Annals of Computer Science
%D 2012
%I Alexandru Ioan Cuza University of Iasi
%X Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of languages includes Reo, a platform for compositional construction of connectors. In recent years, many formalisms for describing the behavior of Reo connectors have emerged. In this paper, we give an overview of all these classes of semantic models. Furthermore, we investigate the expressiveness of two more prominent classes, constraint automata and coloring models, in detail.
%K concurrency
%K coordination
%K Reo
%K semantics
%K constraint automata
%K connector coloring
%U http://www.infoiasi.ro/bin/download/Annals/XXII1/XXII1_5.pdf