Modelling Coordination in Biological Systems. - Dave Clarke 001; David Costa 001; Farhad Arbab (ISoLA (Preliminary proceedings), 2004)

Synthesis of Mealy Machines Using Derivatives. - Helle Hvid Hansen; David Costa 001; Jan J. M. M. Rutten (CMCS, 2006)

Connector colouring I: Synchronisation and context dependency. - Dave Clarke 001; David Costa 001; Farhad Arbab (Sci. Comput. Program., 2007)

Reconfiguration of Reo Connectors Triggered by Dataflow. - Christian Koehler 001; David Costa 001; José Proença; Farhad Arbab (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). - David Costa 001; Milad Niqui; Jan J. M. M. Rutten (FSEN, 2011)