A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.

Michael Siegel

Browse the full CONCUR paper archive.