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].