Table of Contents

• Motivation
• State Abstraction-Based Synchrnization
• Interface Inheritance and Implementation Inheritance
• Implementation Issue
• Discussion