Conclusion

• State abstraction-based synchronization with inheritance --- p6i.
  • Clean and comprehensive language design.
  • Efficiently implementable.
  • Avoids typical inheritance anomaly problems.
  • Also approaches substitution anomalies.