On Transformations of Concurrent Object Programs.

Anna Philippou, David Walker

Browse the full CONCUR paper archive.