Similar to プロセス計算

• 

  ペトリネット

  Petri net
  
• 

  Communicating Sequential Processes

  Communicating sequential processes
  
• 

  アクターモデル

  Actor model
  
• 

  B-Method

  B-Method
  
• 

  TLA+

  TLA+
  
• 

  チューリングマシン

  Turing machine
  
• 

  表示的意味論

  Denotational semantics
  
• 

  ビリヤードボール・コンピュータ

  Billiard-ball computer
  
• 

  有限オートマトン

  Finite-state machine
  
• 

  Annals of Mathematics

  Annals of Mathematics
  
• 

  Axiom (数式処理システム)

  Axiom (computer algebra system)
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Mizar

  Mizar system
  
• 

  仕様及び記述言語

  Specification and Description Language
  
• 

  PlusCal

  PlusCal
  
• 

  VDM

  Vienna Development Method
  
• 

  形式仕様記述

  Formal specification
  
• 

  仕様記述言語

  Specification language
  
• 

  Z言語

  Z notation
  
• 

  プログラム意味論

  Semantics (computer science)
  
• 

  並行制約プログラミング

  Concurrent constraint logic programming
  
• 

  並行論理プログラミング

  Concurrent logic programming
  
• 

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

  Global interpreter lock
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▲5 trends

  
• 

  2

  2
  
• 

  3

  3
  ▼-1 trends

  
• 

  4

  4