| 2007 | ||
|---|---|---|
| 4 | EE | Dave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007) |
| 2006 | ||
| 3 | EE | Dave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006) |
| 2 | EE | Helle 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 | ||
| 1 | EE | Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25 |
| 1 | Farhad Arbab | [1] [3] [4] |
| 2 | Dave Clarke | [1] [3] [4] |
| 3 | Helle Hvid Hansen | [2] |
| 4 | Jan J. M. M. Rutten | [2] |