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