Unifying Theories of Parallel Programming.

Jim Woodcock, Arthur P. Hughes

Browse the full ICFEM paper archive.