|
Search the dblp DataBase
David Costa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:9-25 [Conf]
- Dave Clarke, David Costa, Farhad Arbab
Connector Colouring I: Synchronisation and Context Dependency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:101-119 [Journal]
- Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
Synthesis of Mealy Machines Using Derivatives. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:27-45 [Journal]
- Dave Clarke, David Costa, Farhad Arbab
Connector colouring I: Synchronisation and context dependency. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:66, n:3, pp:205-225 [Journal]
Modelling Coordination in Biological Systems. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|