Similar to 並行論理プログラミング言語
制約論理プログラミング言語
並行制約プログラミング言語
▲1 trendsConstraint Handling Rules
Constraint Handling RulesKL1
KL1Oz (プログラミング言語)
Oz (programming language)PARLOG
ParlogPlanner
Planner (programming language)Program Composition Notation
Program Composition NotationProlog
PrologStrand
Strand (programming language)デッドアンロックシステム
並行性
Concurrency (computer science)ABA問題
ABA problemCommunicating Sequential Processes
Communicating sequential processesTLA+
TLA+アクターモデル
Actor model一貫性モデル (ソフトウェア)
Consistency model居眠り床屋問題
Sleeping barber problem競合状態
Race conditionグローバルインタプリタロック
Global interpreter lock食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)同期 (計算機科学)
Synchronization (computer science)投機的実行
Speculative execution排他制御
Mutual exclusionプロセス計算
Process calculus並行性制御
Concurrency controlペトリネット
Petri net