Generating Concurrency Checks Automatically.

Jonathan Hoyland, Matthew Hague

Browse the full ECOOP paper archive.