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

David L. Sims, Debra A. Hensgen. Automatically Mapping Sequential Objects to Concurrent Objects: The Mutual Exclusion Problem. In ICPP. pages 269-272, 1993.

Abstract

Abstract is missing.