wwwx.cs.unc.edu

     
Project home: system for specifying, prototyping, analyzing, generating parallel software.