Similar to アクターモデル
プロセス計算
Process calculus
Communicating Sequential Processes
Communicating sequential processes
ペトリネット
Petri netFuture パターン
Futures and promisesグローバルインタプリタロック
Global interpreter lock
計算モデル
Model of computationFRACTRAN
FRACTRANOISC
One-instruction set computer
オートマトン
Automata theoryオペランドスタック
可逆計算
Reversible computing
拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine
決定性有限オートマトン
Deterministic finite automaton
交替性チューリング機械
Alternating Turing machine
自動微分
Automatic differentiation
状態遷移系
Transition system
状態遷移図
State diagram状態遷移表
State-transition table
神託機械
Oracle machine
スタックマシン
Stack machine
ゼノン機械
Zeno machine
線形拘束オートマトン
Linear bounded automaton
タグシステム
Tag system
抽象機械
Abstract machine
チューリングマシン
Turing machine
データ駆動
データフロー
Dataflow