An object-oriented concurrent constraint language from the University of Saarbrucken . Oz is based on constraint communication , a new form of asynchronous communication using logic variable s. Partial information about the values of variables is imposed concurrently and incrementally. Supports higher order programming and object-orientation including multiple inheritance .
ftp:duck.dfki.uni-sb.de/pub/papers .
["Object-Oriented Concurrent Constraint Programming in Oz", G. Smolka et al].