dblp.uni-trier.dewww.uni-trier.de

David Costa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEChristian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow. ECEASST 10: (2008)
2007
5EEDave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
2006
4EEDave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
3EEHelle Hvid Hansen, David Costa, Jan J. M. M. Rutten: Synthesis of Mealy Machines Using Derivatives. Electr. Notes Theor. Comput. Sci. 164(1): 27-45 (2006)
2004
2EEDave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
1 Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66

Coauthor Index

1Farhad Arbab [1] [2] [4] [5] [6]
2Dave Clarke [1] [2] [4] [5]
3Helle Hvid Hansen [3]
4Christian Koehler [6]
5José Proença [6]
6Jan J. M. M. Rutten [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)