Automatically Mapping Sequential Objects to Concurrent Objects: The Mutual Exclusion Problem.

David L. Sims, Debra A. Hensgen

Browse the full ICPP paper archive.