David Costa

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

David Costa, Milad Niqui, Jan J. M. M. Rutten
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). FSEN (2011)
Christian Koehler, David Costa, José Proença, Farhad Arbab
Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Dave Clarke, David Costa, Farhad Arbab
Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66 (3) (2007)
Dave Clarke, David Costa, Farhad Arbab
Connector Colouring I: Synchronisation and Context Dependency. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
Synthesis of Mealy Machines Using Derivatives. CMCS (2006)
Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. ISoLA (2004)
Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) (2004)