Reo Connectors semantics using Connector Colouring,
David Costa (CWI, Amsterdam)

In this talk we shall use Connector Colouring semantics to determine the behaviour of Reo connectors by resolving their context dependent synchronization and mutual exclusion constraints. Colouring a Reo Connector in a specific state with given interaction on its boundary (I/O operation requests) provides means to compositionally determine the routing alternatives for data flow.