Lost in Abstraction: Monotonicity in Multi-threaded Programs.

Alexander Kaiser, Daniel Kroening, Thomas Wahl

Browse the full CONCUR paper archive.