Three language constructs appropriate for the design and pro­ gramming of distributed systems are described. The team abstracts repeated interprocess activities and isolates processes to the context where they are needed. The interaction provides multiparty synchronization and communi­ cation. The superimposition defines modules that augment existing teams. Partial correctness proof rules and c...