State Abstraction-Based Synchronization

• ADT and State
• State Abstraction
• State Abstraction-Based Synchronization
• The Languages: p6 and p6i
• Interface and Implementation