A distributed computational model for Reo.

The work described in this document aims at producing a formal computational model for the Reo coordination language, that can facilitate the implementation of Reo circuits in a distributed computing environment. The model introduced here partially covers what Reo requires - it implements a less strict form of the merge behavior of mixed nodes. While this already allows computing of a large class of useful circuits, it does not properly deal with some synchronous circuits that contain LossySync channels. This work has lead to a new and more powerful approach to computing the behavior of Reo circuits, called Connector Coloring