Dag-calculus: a calculus for parallel computation.

Umut A. Acar, Arthur Charguraud, Mike Rainey, Filip Sieczkowski

Browse the full ICFP paper archive.