Addresses a key problem in programming languages for massively parallel machines: how to write programs that are both modular and highly concurrent. The programming language discussed here, Concurrent Aggregates, incorporates innovative data abstraction tools that allow unlimited concurrency.