An object-orientedconcurrentconstraint language from the UNIversity of Saarbrucken. Oz is based on {constraint commUNIcation}, a new form of {asynchronous} commUNIcation using logic variables. Partial information about the values of variables is imposed concurrently and incrementally. Supports higher order programming and object-orientation including multiple inheritance. . ["Object-Oriented Concurrent Constraint Programming in Oz", G. Smolka et al].