A system for the specification, prototyping, analysis and generation of parallel software.