Efficient and reasonable object-oriented concurrency.

Scott West, Sebastian Nanz, Bertrand Meyer

Browse the full PPoPP paper archive.