並行制約プログラミング
時間並行制約プログラミング(Timed Concurrent Constraint Programming)は、並行制約プログラミングを制約の離散的な変化に応用したものである。プロセス計算(process calculi)上では、並行制約プログラミングに否定情報を扱うための機能を追加したデフォルト並行制約プログラミングに、プロセスを単位時間後に起動するオペレータ("Unit Delay")を追加したものと見なすことができる。
OzはAKLのアイデアをもとにオブジェクト指向や関数型プログラミングなどの考え方を組み合わせたマルチパラダイムの言語モデルで、Gert Smolkaらにより開発された。 いくつかのバージョンがあり、Oz 1、Oz 2、Oz 3のモデルがある。実際の言語処理系としては、Mozart Consortiumが開発したMozartプログラミングシステムがある。