Key points are not available for this paper at this time.
Este artigo apresenta uma visão geral de uma linguagem de programação integrada e de um sistema projetado para apoiar a construção e manutenção de programas distribuídos: programas nos quais os módulos residem e executam em nós comunicantes, mas geograficamente distintos. A linguagem é destinada a apoiar uma classe de aplicações em que a manipulação e preservação de dados distribuídos de longa duração e online são importantes. A linguagem aborda a escrita de programas robustos que sobrevivem a falhas de hardware sem perda de informação distribuída e que proporcionam acesso altamente concorrente a essa informação, preservando sua consistência. Vários novos constructos linguísticos são fornecidos; entre eles estão ações atômicas e módulos chamados guardiões que sobrevivem a falhas de nós.
Liskov et al. (Sex,) estudaram essa questão.