Idéias soltas

• Hierarquias de sistemas concorrentes (threads, processos, nós, redes, clusters, grids)
  
• Formalismos: CSP, CCS, pi-calculus
• Linguagens: Occam, Erlang, Oz, Alice, CML, Concurrent Haskell, etc
• Abordagem: o problema do paralelismo/concorrência como um problema de linguagens de programação/expressividade do programador
• Especificações explícitas (Haskell#)
• Impedance mismatch entre linguagens de computação e coordenação
• Grids e clusters: o panorama arquitetural dos sistemas computacionais do futuro