Similar to 並行論理プログラミング言語

• 

  制約論理プログラミング言語

  
• 

  並行制約プログラミング言語

  ▲1 trends

  
• 

  Constraint Handling Rules

  Constraint Handling Rules
  
• 

  KL1

  KL1
  
• 

  Oz (プログラミング言語)

  Oz (programming language)
  
• 

  PARLOG

  Parlog
  
• 

  Planner

  Planner (programming language)
  
• 

  Program Composition Notation

  Program Composition Notation
  
• 

  Prolog

  Prolog
  
• 

  Strand

  Strand (programming language)
  
• 

  デッドアンロックシステム

  
• 

  並行性

  Concurrency (computer science)
  
• 

  ABA問題

  ABA problem
  
• 

  Communicating Sequential Processes

  Communicating sequential processes
  
• 

  TLA+

  TLA+
  
• 

  アクターモデル

  Actor model
  
• 

  一貫性モデル (ソフトウェア)

  Consistency model
  
• 

  居眠り床屋問題

  Sleeping barber problem
  
• 

  競合状態

  Race condition
  
• 

  グローバルインタプリタロック

  Global interpreter lock
  
• 

  食事する哲学者の問題

  Dining philosophers problem
  ▲1 trends

  
• 

  デッドロック

  Deadlock (computer science)
  
• 

  同期 (計算機科学)

  Synchronization (computer science)
  
• 

  投機的実行

  Speculative execution
  
• 

  排他制御

  Mutual exclusion
  
• 

  プロセス計算

  Process calculus
  
• 

  並行性制御

  Concurrency control
  
• 

  ペトリネット

  Petri net