Ambiente visual de desenvolvimento de programas paralelos de tempo-real
Propagação de exceções com verificação global de tipos entre objetos distribuídos
Uma abordagem orientada a objetos para programacao distribuida confiavel.
Arquitetura de software para o desenvolvimento de aplicações distribuídas confiáveis
Design computacional: processo de projeto e interfaces de programação