Oz: nebenläufige Programmierung mit Constraints