An axiomatization of low-level parallelism in microarchitectures.

Werner Damm

Browse the full MICRO paper archive.