David de Oliveira Costa

1. Connector colouring I: Synchronisation and context dependency
   2007/04/17 by Dave Clarke, David Costa, David de Oliveira Costa +1 · 4 citations
   Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Parallel Computing and Optimization Techniques