Resumo
Sistema de suporte à execução para linguagem orientada a objetos, distribuída e com suporte a concorrência interna. A linguagem "Cm distribuído" já conta com primitivas para distribuição e controle de concorrência, mas falta especificação formal desses conceitos e suporte a concorrência interna. Esses postos serão cobertos, a sintaxe será revisada, e será sugerida sintaxe para obter os me…