時間並行制約プログラミング
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/26 14:14 UTC 版)
「並行制約プログラミング」の記事における「時間並行制約プログラミング」の解説
時間並行制約プログラミング(Timed Concurrent Constraint Programming)は、並行制約プログラミングを制約の離散的な変化に応用したものである。プロセス計算(process calculi)上では、並行制約プログラミングに否定情報を扱うための機能を追加したデフォルト並行制約プログラミングに、プロセスを単位時間後に起動するオペレータ("Unit Delay")を追加したものと見なすことができる。
※この「時間並行制約プログラミング」の解説は、「並行制約プログラミング」の解説の一部です。
「時間並行制約プログラミング」を含む「並行制約プログラミング」の記事については、「並行制約プログラミング」の概要を参照ください。
- 時間並行制約プログラミングのページへのリンク