Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages