Oz has both a simple formal semantics (see chapter 13 of the book mentioned below) and an efficient implementation.
Ozهر دو نوع معناشناسی ساده و رسمی را پشتیبانی می‌کند (نگاه کنید به فصل ۱۳ از کتاب ذکر شده در زیر) و یک برنامه کارآمد برای پیاده‌سازی است.